Trace number 4390011

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 2UNSAT 1690.99 1691.14

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-4390011-1568351010.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.08	c 2770           30494          147037         182134         0              0              74   100   89  
0.00/0.09	c 3142           34007          166177         207838         0              0              71   103   85  
0.10/0.10	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.13	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.10/0.21	c 7006           74532          373619         480945         0              0              58   103   85  
0.21/0.23	c 7798           83134          415826         535665         0              0              60   105   89  
0.21/0.26	c 8669           93950          469412         612419         0              0              63   102   86  
0.21/0.29	c 9627           105499         526502         689627         0              0              63   97   86   
0.31/0.33	c 10680          122018         597241         769784         0              0              52   104   87  
0.31/0.38	c 11838          137058         677869         869655         0              0              51   99   84   
0.41/0.42	c 13111          152241         757309         973117         0              0              55   100   80  
0.41/0.47	c 14511          169348         847299         1092039        0              0              57   99   82   
0.51/0.52	c 16051          188093         936295         1211754        0              0              51   99   84   
0.51/0.58	c 17745          209414         1039372        1349872        0              0              52   103   86  
0.60/0.63	c 19608          229578         1136211        1478617        0              0              60   102   86  
0.60/0.69	c 21657          249071         1239825        1612661        0              0              61   102   86  
0.69/0.76	c 23910          277158         1374344        1786254        0              0              54   102   85  
0.79/0.84	c 26388          305672         1516972        1977471        0              0              63   104   86  
0.89/0.93	c 29113          341923         1681296        2206836        0              0              51   101   88  
1.00/1.02	c 32110          378784         1851687        2429083        0              0              51   103   85  
1.10/1.14	c 35406          417869         2078231        2716096        0              0              55   105   87  
1.19/1.26	c 39031          462082         2293435        3001618        0              0              56   103   88  
1.29/1.37	c 43018          502700         2494480        3282693        0              0              57   103   86  
1.49/1.52	c 47403          560368         2758628        3611295        0              0              48   105   86  
1.59/1.68	c 52226          618627         3043785        3983356        0              0              44   102   87  
1.79/1.86	c 57531          686738         3391905        4432564        0              0              61   105   90  
2.00/2.04	c 63366          753775         3724978        4875019        0              0              54   105   89  
2.19/2.26	c 69784          836444         4137054        5380914        0              0              49   105   88  
2.39/2.48	c 76843          916452         4539153        5915491        0              0              54   105   87  
2.69/2.74	c 84607          1016366        5003659        6565517        0              0              50   103   87  
3.00/3.02	c 93147          1128212        5525171        7195753        0              0              54   105   88  
3.29/3.34	c 102541         1250102        6126205        7985621        0              0              52   105   89  
3.59/3.65	c 112874         1354888        6691500        8767897        0              0              52   105   89  
4.00/4.02	c 124240         1489899        7389707        9690725        0              0              53   105   89  
4.39/4.40	c 136742         1634117        8095791        10656269       0              0              40   105   88  
4.79/4.86	c 150494         1794083        8926671        11754767       0              0              38   103   84  
5.29/5.37	c 165621         1982189        9878489        12972870       0              0              40   105   85  
5.79/5.89	c 182260         2172402        10818799       14254254       0              0              45   105   86  
6.49/6.54	c 200562         2400276        12014692       15827683       0              0              43   105   85  
7.19/7.25	c 220694         2650862        13326056       17569448       0              0              38   105   86  
7.89/7.93	c 242839         2899971        14579807       19224756       0              0              53   105   88  
8.59/8.69	c 267198         3196904        16022701       21028040       0              0              47   105   91  
9.49/9.53	c 293992         3500518        17573358       23077592       0              0              40   104   87  
10.39/10.45	c 323465         3837963        19254106       25077210       0              0              46   105   86  
11.39/11.46	c 355885         4211765        21097550       27611060       0              0              56   103   88  
12.49/12.55	c 391547         4630070        23139530       30294847       0              0              43   105   89  
13.69/13.77	c 430775         5078079        25426934       33204328       0              0              55   105   86  
15.29/15.31	c 473925         5596720        28236151       36872248       0              0              39   105   86  
16.89/16.96	c 521390         6166388        31315620       40629606       0              0              45   104   83  
18.59/18.63	c 573601         6788346        34418607       44312350       0              0              46   105   87  
20.59/20.64	c 631033         7474064        38089909       49102593       0              0              45   105   87  
22.69/22.74	c 694208         8215285        41963203       53915368       0              0              45   105   88  
24.79/24.88	c 763700         9004349        45924875       59120650       0              0              54   105   89  
27.29/27.39	c 840141         9925787        50595824       65288533       0              0              48   105   89  
30.00/30.10	c 924226         10891432       55631845       71741279       0              0              49   105   89  
33.19/33.27	c 1016719        11955957       61520567       79063867       0              0              47   105   87  
36.59/36.66	c 1118461        13071161       67697762       87183463       0              0              45   105   85  
40.39/40.49	c 1230377        14385987       74752087       96230592       0              0              42   105   85  
44.69/44.71	c 1353484        15925600       82518334       105573989      0              0              44   105   86  
49.39/49.42	c 1488901        17528691       91177396       116436039      0              0              36   105   86  
54.49/54.50	c 1637859        19291251       100366358      128685837      0              0              41   103   82  
59.49/59.57	c 1801712        20901140       109576717      140984354      0              0              46   103   83  
65.99/66.01	c 1981950        22920650       121344929      155784370      0              0              40   105   82  
72.59/72.66	c 2180211        25286172       133842139      170984887      0              0              40   105   89  
78.39/78.43	c 2398298        27696208       144917156      183804778      0              0              26   105   90  
86.28/86.33	c 2638193        30782002       159391143      201529187      0              0              31   105   87  
94.78/94.81	c 2902077        33853033       175428024      220848149      0              0              40   105   90  
103.48/103.51	c 3192349        37199885       192030713      240227023      0              0              35   105   91  
114.09/114.16	c 3511648        40842568       211848559      264740876      0              0              39   105   88  
126.48/126.57	c 3862876        45088894       234895313      293633076      0              0              29   105   89  
139.18/139.26	c 4249226        49722797       258525505      323491928      0              0              23   105   89  
152.58/152.68	c 4674211        54389951       283402991      356099715      0              0              36   105   88  
167.68/167.76	c 5141694        59780931       311281176      392227174      0              0              41   105   88  
184.08/184.11	c 5655925        65618977       341286431      432172156      0              0              33   105   88  
202.57/202.65	c 6221579        72228581       375654396      476789450      0              0              29   105   88  
222.47/222.57	c 6843798        79328821       412473705      524184506      0              0              31   105   88  
244.67/244.75	c 7528238        87118888       453276174      578491017      0              0              39   105   88  
268.17/268.29	c 8281122        95372832       496836427      634804745      0              0              32   105   88  
295.17/295.23	c 9109294        105110213      546356064      700442669      1              0              14   105   87  
323.07/323.15	c 10020283       114952190      598518409      766069517      1              0              30   105   90  
355.86/355.99	c 11022370       126449676      659904148      842655083      1              0              19   105   89  
394.16/394.21	c 12124665       139472222      731043897      932338919      1              0              35   105   88  
436.06/436.12	c 13337189       153861540      809033599      1029519311     1              0              32   105   88  
480.45/480.50	c 14670965       169185321      891785248      1132903475     1              0              34   105   89  
528.06/528.19	c 16138118       185573238      979937641      1248133732     2              0              22   105   88  
581.64/581.71	c 17751986       203894638      1079914080     1373616721     2              0              25   105   88  
640.24/640.38	c 19527240       224301146      1188892531     1511172455     2              0              29   105   88  
705.63/705.72	c 21480019       246817094      1309687089     1666222338     2              0              27   105   86  
777.33/777.48	c 23628075       271214476      1441948443     1837312222     3              0              22   105   86  
851.72/851.81	c 25990936       295416616      1579654396     2014456535     4              0              26   105   85  
939.31/939.45	c 28590083       326571575      1742486602     2221024369     4              0              21   105   88  
1036.40/1036.50	c 31449144       359183764      1922486969     2451227389     4              0              33   105   88  
1140.00/1140.16	c 34594111       394161622      2114502693     2697724976     4              0              30   105   88  
1252.59/1252.74	c 38053574       433119315      2323120222     2964477873     4              0              25   105   89  
1380.57/1380.75	c 41858983       476192286      2561065969     3267821021     4              0              29   105   88  
1517.56/1517.70	c 46044932       523067386      2814352844     3593148883     4              0              11   105   88  
1669.55/1669.78	c 50649475       575617119      3095885477     3955089592     14             0              30   105   87  
1690.96/1691.13	s UNSATISFIABLE
1690.96/1691.13	c restarts              : 114         
1690.96/1691.13	c conflicts             : 51317305     (30347 /sec)
1690.96/1691.13	c decisions             : 583090347    (344822 /sec)
1690.96/1691.13	c propagations          : 4006353174  (2369233 /sec)
1690.96/1691.13	c root propagations     : 0           
1690.96/1691.13	c filter calls          : 3135375666     (1854164 /sec)
1690.96/1691.13	c useless filter calls  : 2211667882     (70 %)
1690.96/1691.13	c Memory used           : 26.72 MB
1690.96/1691.13	c CPU time              : 1690.99 s
1690.96/1691.13	c real time             : 1691.13 s
1690.96/1691.13

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390011-1568351010/watcher-4390011-1568351010 -o /tmp/evaluation-result-4390011-1568351010/solver-4390011-1568351010 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7048 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390011-1568351010.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=13953, runsolver pid=13950
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 2.00 2.05 2.05 3/200 13954
/proc/meminfo: memFree=24731376/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3952 CPUtime=0.1 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1151 0 0 0 10 0 0 0 20 0 1 0 411373666 28016640 988 33554432000 4194304 6210612 140729256438672 140729256436632 5008448 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 988 871 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.209393 s]*
/proc/loadavg: 2.00 2.05 2.05 3/200 13954
/proc/meminfo: memFree=24731376/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3952 CPUtime=0.21 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1151 0 0 0 21 0 0 0 20 0 1 0 411373666 28016640 988 33554432000 4194304 6210612 140729256438672 140729256436632 5404382 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 988 871 493 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.308991 s]*
/proc/loadavg: 2.00 2.05 2.05 3/200 13954
/proc/meminfo: memFree=24731376/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3952 CPUtime=0.31 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1151 0 0 0 31 0 0 0 20 0 1 0 411373666 28016640 988 33554432000 4194304 6210612 140729256438672 140729256436632 5157652 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 988 871 493 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.70027 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 13954
/proc/meminfo: memFree=24731376/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3952 CPUtime=0.69 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1152 0 0 0 69 0 0 0 20 0 1 0 411373666 28016640 988 33554432000 4194304 6210612 140729256438672 140729256436632 5155300 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 988 871 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.50027 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 13954
/proc/meminfo: memFree=24731376/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3952 CPUtime=1.49 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1152 0 0 0 149 0 0 0 20 0 1 0 411373666 28016640 988 33554432000 4194304 6210612 140729256438672 140729256436632 5156512 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 988 871 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.10903 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 13954
/proc/meminfo: memFree=24731064/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3952 CPUtime=3.1 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1211 0 0 0 310 0 0 0 20 0 1 0 411373666 28016640 988 33554432000 4194304 6210612 140729256438672 140729256436632 5249738 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 988 871 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.30027 s]
/proc/loadavg: 2.00 2.05 2.05 3/201 13956
/proc/meminfo: memFree=24730772/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=6.29 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1270 0 0 0 629 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5155576 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 13956
/proc/meminfo: memFree=24731012/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=12.69 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1329 0 0 0 1269 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5249727 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 13956
/proc/meminfo: memFree=24731200/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=25.49 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1447 0 0 0 2549 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5249664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+51.109 s]
/proc/loadavg: 2.06 2.06 2.05 3/200 13959
/proc/meminfo: memFree=24731264/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=51.1 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1506 0 0 0 5110 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 2.03 2.05 3/200 14023
/proc/meminfo: memFree=24721144/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=102.28 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1565 0 0 0 10228 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5155864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/200 14027
/proc/meminfo: memFree=24720020/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=162.28 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1624 0 0 0 16228 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5157079 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 14031
/proc/meminfo: memFree=24719288/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=222.27 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1683 0 0 0 22227 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5154973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14037
/proc/meminfo: memFree=24719204/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=282.27 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1742 0 0 0 28227 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5155441 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14041
/proc/meminfo: memFree=24719132/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=342.26 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1801 0 0 0 34226 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5249715 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14045
/proc/meminfo: memFree=24719940/32770624 swapFree=67019052/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=402.26 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1860 0 0 0 40226 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5154977 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+462.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/199 14058
/proc/meminfo: memFree=24719592/32770624 swapFree=67019072/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=462.25 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 1919 0 0 0 46225 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5249890 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB


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

Current children cumulated memory: 3960 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14136
/proc/meminfo: memFree=24717312/32770624 swapFree=67019096/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1362.18 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 2739 0 0 0 136218 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5156108 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1362.18 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14140
/proc/meminfo: memFree=24718168/32770624 swapFree=67019096/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1422.17 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 2798 0 0 0 142217 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5249907 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1422.17 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14144
/proc/meminfo: memFree=24717732/32770624 swapFree=67019096/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1482.17 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 2844 0 0 0 148217 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5155149 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1482.17 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14151
/proc/meminfo: memFree=24717288/32770624 swapFree=67019100/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1542.16 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 2903 0 0 0 154216 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5397222 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1542.16 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14155
/proc/meminfo: memFree=24718048/32770624 swapFree=67019100/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1602.16 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 2949 0 0 0 160216 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5397340 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14166
/proc/meminfo: memFree=24717648/32770624 swapFree=67019112/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1662.15 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 2995 0 0 0 166215 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5157673 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1662.15 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1691.14 s]
# the end of solver process 13953 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1690.99 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.00 2.01 2.05 3/199 14166
/proc/meminfo: memFree=24717648/32770624 swapFree=67019112/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1663.86 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 2995 0 0 0 166386 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5154969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1663.86 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1676.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14169
/proc/meminfo: memFree=24717076/32770624 swapFree=67019112/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1676.65 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 3054 0 0 0 167665 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5409264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1676.65 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1683.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14169
/proc/meminfo: memFree=24717336/32770624 swapFree=67019112/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1683.05 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 3054 0 0 0 168305 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5409301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1683.05 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1686.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14169
/proc/meminfo: memFree=24717336/32770624 swapFree=67019112/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1686.25 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 3054 0 0 0 168625 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5155002 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1686.25 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1689.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14169
/proc/meminfo: memFree=24717336/32770624 swapFree=67019112/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1689.45 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 3054 0 0 0 168945 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5249664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1689.45 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1690.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14169
/proc/meminfo: memFree=24717336/32770624 swapFree=67019112/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1690.25 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 3054 0 0 0 169025 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5155765 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1690.25 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1690.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14169
/proc/meminfo: memFree=24717336/32770624 swapFree=67019112/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1690.65 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 3054 0 0 0 169065 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5397089 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1690.65 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1691 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 14169
/proc/meminfo: memFree=24717328/32770624 swapFree=67019112/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1690.86 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 3054 0 0 0 169086 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1690.86 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

[startup+1691.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14169
/proc/meminfo: memFree=24717328/32770624 swapFree=67019112/67108860
[pid=13953] ppid=13950 vsize=27360 memory=3960 CPUtime=1690.96 cores=0,2,4,6
/proc/13953/stat : 13953 (cosoco) R 13950 13953 7017 0 -1 4202496 3054 0 0 0 169096 0 0 0 20 0 1 0 411373666 28016640 990 33554432000 4194304 6210612 140729256438672 140729256436632 5155856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 16146432 140729256444939 140729256445041 140729256445041 140729256447950 0
/proc/13953/statm: 6840 990 871 493 0 145 0
Current children cumulated CPU time: 1690.96 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3960 KiB

Child status: 0
Real time (s): 1691.14
CPU time (s): 1690.99
CPU user time (s): 1690.99
CPU system time (s): 0.001999
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 3960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1690.99
system time used= 0.001999
maximum resident set size= 4032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3105
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= 2115


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.37344 second user time and 11.4247 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-13 07:02:51
IDJOB=4390011
IDBENCH=135570
IDSOLVER=2830
FILE ID=node150/4390011-1568351010
RUNJOBID= node150-1568323911-7048
PBS_JOBID= 21701149
Free space on /tmp= 55028 MiB

SOLVER NAME= cosoco 2
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-4390011-1568351010/watcher-4390011-1568351010 -o /tmp/evaluation-result-4390011-1568351010/solver-4390011-1568351010 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7048 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4390011-1568351010.xml

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

MD5SUM BENCH= 304d36c9f4738ce6debdcd70a29e2b53
RANDOM SEED=854091800

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24732004 kB
MemAvailable:   31794032 kB
Buffers:          169184 kB
Cached:          7033540 kB
SwapCached:        12332 kB
Active:          1214456 kB
Inactive:        6077736 kB
Active(anon):      54836 kB
Inactive(anon):    57424 kB
Active(file):    1159620 kB
Inactive(file):  6020312 kB
Unevictable:      109524 kB
Mlocked:          109524 kB
SwapTotal:      67108860 kB
SwapFree:       67019052 kB
Dirty:              2372 kB
Writeback:             0 kB
AnonPages:        186356 kB
Mapped:            38424 kB
Shmem:             14396 kB
Slab:             340656 kB
SReclaimable:     310556 kB
SUnreclaim:        30100 kB
KernelStack:        3488 kB
PageTables:         6328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     570472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 55024 MiB
End job on node150 at 2019-09-13 07:31:02