Trace number 4408601

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 2237.25 2237.05

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-LV/
Subisomorphism-g19-g25.xml
MD5SUM6a0b9ff28537b74082311c97fcf8fc06
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 benchmark0.015492
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints233
Number of domains1
Minimum domain size75
Maximum domain size75
Distribution of domain sizes[{"size":75,"count":64}]
Minimum variable degree4
Maximum variable degree10
Distribution of variable degrees[{"degree":4,"count":4},{"degree":5,"count":8},{"degree":6,"count":20},{"degree":8,"count":16},{"degree":10,"count":16}]
Minimum constraint arity1
Maximum constraint arity64
Distribution of constraint arities[{"arity":1,"count":64},{"arity":2,"count":168},{"arity":64,"count":1}]
Number of extensional constraints232
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":232},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 3468        
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 2.00 --  
0.00/0.01	c
0.00/0.01	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408601-1569797002.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 64
0.00/0.01	c |            Domain Sizes: 75..75
0.00/0.01	c |
0.00/0.01	c |             Constraints: 233
0.00/0.01	c |                   Arity: 1..64  -- Unary: 64  -- Binary: 168
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 1
0.00/0.01	c |                          Extension: 168  (nb tuples: 228..228) -- (shared: 227)
0.00/0.01	c |                          Unary: 64
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c 101            223            19643          30916          64             0              4   9   6      
0.00/0.03	c 211            455            37386          57439          64             0              5   8   6      
0.00/0.05	c 332            709            54798          95213          64             0              5   10   7     
0.00/0.07	c 465            981            80550          135651         64             0              4   9   6      
0.00/0.09	c 611            1297           107468         180104         64             0              4   9   7      
0.10/0.12	c 771            1626           131611         219718         64             0              4   10   7     
0.10/0.14	c 947            1969           158073         274400         64             0              4   9   6      
0.10/0.17	c 1140           2371           192174         320684         64             0              4   9   6      
0.10/0.20	c 1352           2821           227106         389475         64             0              4   9   7      
0.21/0.23	c 1585           3310           266526         448422         64             0              4   8   6      
0.21/0.27	c 1841           3886           316602         525627         64             0              5   10   7     
0.21/0.31	c 2122           4505           366934         612573         64             0              4   9   6      
0.31/0.36	c 2431           5164           423618         699070         64             0              5   9   6      
0.31/0.41	c 2770           5892           474746         788185         64             0              4   9   7      
0.41/0.46	c 3142           6676           536953         900672         64             0              4   9   6      
0.51/0.52	c 3551           7525           606169         1019426        64             0              4   9   7      
0.51/0.59	c 4000           8576           687185         1164904        64             0              3   10   6     
0.60/0.66	c 4493           9651           769435         1291921        64             0              3   9   6      
0.69/0.74	c 5035           10830          864768         1461634        64             0              3   10   6     
0.79/0.83	c 5631           12134          968276         1635870        64             0              3   9   6      
0.89/0.92	c 6286           13491          1078175        1839680        64             0              4   10   7     
1.00/1.04	c 7006           15130          1214652        2097651        64             0              3   9   6      
1.10/1.15	c 7798           16735          1339509        2333030        64             0              3   10   7     
1.19/1.27	c 8669           18633          1472905        2579244        64             0              4   9   6      
1.39/1.41	c 9627           20723          1635200        2869187        64             0              3   9   6      
1.49/1.56	c 10680          22950          1808423        3195845        64             0              3   9   6      
1.69/1.74	c 11838          25556          2003005        3559995        64             0              3   11   6     
1.89/1.93	c 13111          28285          2238639        3914923        64             0              3   9   6      
2.10/2.13	c 14511          31319          2461962        4331704        64             0              3   9   6      
2.29/2.36	c 16051          34727          2744801        4825529        64             0              3   9   6      
2.49/2.59	c 17745          38435          3015888        5284473        64             0              3   9   6      
2.79/2.85	c 19608          42358          3303123        5823345        64             0              3   9   6      
3.10/3.15	c 21657          46880          3674167        6426941        64             0              3   9   6      
3.39/3.48	c 23910          51650          4023678        7047402        64             0              3   11   7     
3.79/3.85	c 26388          57089          4351456        7486319        64             0              6   11   9     
4.19/4.26	c 29113          62654          4730678        8058996        64             0              4   11   8     
4.69/4.77	c 32110          69394          5285809        8958036        64             0              3   10   7     
5.19/5.23	c 35406          76543          5804949        9898558        64             0              2   9   6      
5.79/5.80	c 39031          84923          6502244        11090938       64             0              3   9   6      
6.39/6.48	c 43018          93716          7112432        12071991       64             0              4   11   8     
7.00/7.07	c 47403          102771         7647728        12867743       64             0              6   11   9     
7.69/7.80	c 52226          112474         8258305        13912446       64             0              5   11   9     
8.49/8.55	c 57531          123827         8942505        14910031       64             0              4   10   9     
9.29/9.39	c 63366          135421         9662869        15963898       64             0              4   10   8     
10.29/10.36	c 69784          150521         10579889       17103901       64             0              4   10   8     
11.39/11.48	c 76843          166128         11634438       18530685       64             0              5   11   9     
12.39/12.45	c 84607          180464         12484590       19856778       64             0              4   10   8     
13.69/13.79	c 93147          198500         13784204       21594172       64             0              4   11   8     
15.10/15.14	c 102541         218075         15050268       23406915       64             0              3   11   9     
16.79/16.81	c 112874         240110         16546053       25609864       64             0              5   11   8     
18.39/18.47	c 124240         264046         18069824       27669434       64             0              4   11   8     
20.29/20.34	c 136742         290452         19814587       30363290       64             0              5   10   9     
22.39/22.43	c 150494         320582         21762441       32903237       64             0              4   11   9     
24.70/24.70	c 165621         350464         23543735       35961468       64             0              4   12   9     
27.30/27.31	c 182260         385566         25875180       39753840       64             0              4   10   9     
30.01/30.10	c 200562         424082         28585021       43126432       64             0              4   11   8     
33.20/33.25	c 220694         467865         31507308       47080878       64             0              4   11   8     
36.20/36.27	c 242839         512291         34477365       51022280       64             0              3   10   8     
40.01/40.06	c 267198         565920         37976568       56036730       64             0              4   11   9     
44.11/44.14	c 293992         622351         41779592       61622285       64             0              4   11   8     
48.80/48.82	c 323465         683048         45739754       67865284       64             0              3   11   9     
54.11/54.13	c 355885         752079         50392647       75123819       64             0              4   11   9     
59.40/59.49	c 391547         827217         55289267       82476089       64             0              4   11   9     
65.50/65.57	c 430775         908866         60664949       90871820       64             0              3   11   8     
72.80/72.82	c 473925         1004408        67350721       100025084      64             0              3   12   8     
80.40/80.46	c 521390         1105331        74239103       109466434      64             0              4   11   9     
88.80/88.80	c 573601         1218557        81867097       120589281      64             0              4   11   9     
98.40/98.43	c 631033         1345965        90424376       133050806      64             0              4   11   8     
108.40/108.45	c 694208         1484388        99410786       146485488      64             0              4   11   9     
119.11/119.18	c 763700         1627782        108626602      160996181      64             0              3   11   8     
130.30/130.33	c 840141         1786354        117746527      176671116      64             0              3   11   9     
142.31/142.37	c 924226         1956341        129186448      193080367      64             0              3   11   8     
156.91/156.91	c 1016719        2156315        142343904      212719356      64             0              3   11   9     
171.91/172.00	c 1118461        2368153        154929504      233143794      64             0              3   12   9     
189.41/189.47	c 1230377        2612058        170592438      255604706      64             0              3   11   8     
208.02/208.04	c 1353484        2869928        186776838      280208728      64             0              3   12   8     
229.02/229.02	c 1488901        3163467        206005359      307832345      64             0              4   12   8     
252.51/252.58	c 1637859        3481312        228058840      340116540      64             0              3   12   9     
279.92/279.97	c 1801712        3842605        252772699      376637091      64             0              3   12   8     
306.42/306.47	c 1981950        4233637        277672218      410362562      64             0              3   11   8     
335.72/335.78	c 2180211        4673951        306630896      449296772      64             0              2   12   9     
369.22/369.29	c 2398298        5150059        336731038      492939979      64             0              3   11   9     
406.83/406.88	c 2638193        5666234        370207589      543543838      64             0              3   12   8     
444.83/444.84	c 2902077        6212835        405715411      596361956      64             0              3   11   9     
489.83/489.88	c 3192349        6839052        445141875      659378122      64             0              3   12   9     
540.34/540.38	c 3511648        7559462        492421057      728473112      64             0              2   12   9     
597.74/597.78	c 3862876        8344650        544417290      801151292      64             0              3   11   8     
659.45/659.49	c 4249226        9191493        599968202      882353041      64             0              3   11   8     
720.75/720.70	c 4674211        10091808       655853685      966192768      64             0              2   11   8     
792.76/792.73	c 5141694        11082822       721468754      1066579059     64             0              3   12   9     
873.47/873.46	c 5655925        12169582       790388576      1173916670     64             0              3   12   8     
962.77/962.72	c 6221579        13413415       869638042      1291513242     64             0              2   12   8     
1061.38/1061.39	c 6843798        14738594       955915566      1424479550     64             0              2   13   8     
1168.10/1168.03	c 7528238        16280100       1052854051     1560749869     64             0              2   12   9     
1283.11/1283.04	c 8281122        17892091       1156039080     1714050515     64             0              3   12   8     
1407.22/1407.15	c 9109294        19736687       1273718535     1881383852     64             0              2   12   9     
1546.32/1546.22	c 10020283       21724728       1399113469     2065009982     64             0              2   12   9     
1706.44/1706.34	c 11022370       23918659       1539403769     2283100287     64             0              2   12   8     
1876.75/1876.63	c 12124665       26304030       1688471217     2504472319     64             0              2   12   8     
2065.77/2065.68	c 13337189       28997706       1857719674     2754534681     64             0              2   12   8     
2237.19/2237.05	s UNSATISFIABLE
2237.19/2237.05	c restarts              : 100         
2237.19/2237.05	c conflicts             : 14405069     (6439 /sec)
2237.19/2237.05	c decisions             : 31410274     (14040 /sec)
2237.19/2237.05	c propagations          : 2985185587  (1334316 /sec)
2237.19/2237.05	c root propagations     : 3468        
2237.19/2237.05	c filter calls          : 2013323393     (899913 /sec)
2237.19/2237.05	c useless filter calls  : 1690452515     (83 %)
2237.19/2237.05	c Memory used           : 26.98 MB
2237.19/2237.05	c CPU time              : 2237.24 s
2237.19/2237.05	c real time             : 2237.05 s
2237.19/2237.05

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408601-1569797002/watcher-4408601-1569797002 -o /tmp/evaluation-result-4408601-1569797002/solver-4408601-1569797002 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408601-1569797002.xml 

running on 4 cores: 0-3

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
Current StackSize limit: 8192 KiB

solver pid=28087, runsolver pid=28084

[startup+0.100697 s]*
/proc/loadavg: 1.92 2.00 2.04 3/201 28088
/proc/meminfo: memFree=31061328/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=3952 CPUtime=0.1 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 1211 0 0 0 10 0 0 0 20 0 1 0 555641731 28286976 988 33554432000 4194304 6211132 140724387467184 140724387465144 5017267 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 988 823 493 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+0.210676 s]*
/proc/loadavg: 1.92 2.00 2.04 3/201 28088
/proc/meminfo: memFree=31061328/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=3952 CPUtime=0.21 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 1211 0 0 0 21 0 0 0 20 0 1 0 555641731 28286976 988 33554432000 4194304 6211132 140724387467184 140724387465144 5074639 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 988 823 493 0 211 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+0.310296 s]*
/proc/loadavg: 1.92 2.00 2.04 3/201 28088
/proc/meminfo: memFree=31061328/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=3952 CPUtime=0.31 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 1211 0 0 0 31 0 0 0 20 0 1 0 555641731 28286976 988 33554432000 4194304 6211132 140724387467184 140724387465144 140624117963872 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 988 823 493 0 211 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+0.700284 s]
/proc/loadavg: 1.92 2.00 2.04 3/201 28088
/proc/meminfo: memFree=31061212/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=3952 CPUtime=0.69 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 1211 0 0 0 69 0 0 0 20 0 1 0 555641731 28286976 988 33554432000 4194304 6211132 140724387467184 140724387465144 5076389 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 988 823 493 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+1.5003 s]
/proc/loadavg: 1.92 2.00 2.04 3/201 28088
/proc/meminfo: memFree=31061212/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=3952 CPUtime=1.49 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 1211 0 0 0 149 0 0 0 20 0 1 0 555641731 28286976 988 33554432000 4194304 6211132 140724387467184 140724387465144 5079092 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 988 823 493 0 211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+3.11036 s]
/proc/loadavg: 1.92 2.00 2.04 3/201 28088
/proc/meminfo: memFree=31060968/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=3.1 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 1327 0 0 0 310 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5074760 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.04 3/201 28088
/proc/meminfo: memFree=31060968/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=6.29 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 1443 0 0 0 629 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5008840 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/201 28088
/proc/meminfo: memFree=31060876/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=12.69 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 1559 0 0 0 1269 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5081301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/202 28090
/proc/meminfo: memFree=31060464/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=25.5 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 1791 0 0 0 2550 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5078951 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+51.1107 s]
/proc/loadavg: 1.97 2.00 2.04 3/201 28091
/proc/meminfo: memFree=31060384/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=51.11 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 1907 0 0 0 5111 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5074703 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+102.3 s]
/proc/loadavg: 2.07 2.01 2.05 3/201 28408
/proc/meminfo: memFree=31503776/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=102.3 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 2023 0 0 0 10230 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5082441 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 28414
/proc/meminfo: memFree=31502460/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=162.31 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 2139 0 0 0 16231 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5082441 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 28478
/proc/meminfo: memFree=31498184/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=222.31 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 2255 0 0 0 22231 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5081311 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28482
/proc/meminfo: memFree=31498040/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=282.32 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 2255 0 0 0 28232 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5082495 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28488
/proc/meminfo: memFree=31497692/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=342.32 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 2371 0 0 0 34232 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5074392 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28492
/proc/meminfo: memFree=31497384/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=402.33 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 2371 0 0 0 40233 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5075221 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28504
/proc/meminfo: memFree=31496788/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=462.33 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 2487 0 0 0 46233 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5081728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB


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

Current children cumulated memory: 4196 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 28651
/proc/meminfo: memFree=31494600/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=1782.44 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 3750 0 0 0 178244 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5082376 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 1782.44 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 28655
/proc/meminfo: memFree=31494596/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=1842.45 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 3750 0 0 0 184245 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5082431 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 28659
/proc/meminfo: memFree=31494608/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=1902.45 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 3866 0 0 0 190245 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5046676 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 1902.45 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28665
/proc/meminfo: memFree=31493860/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=1962.46 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 3866 0 0 0 196246 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5082698 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28669
/proc/meminfo: memFree=31493780/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=2022.46 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 3969 0 0 0 202246 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5079067 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 2022.46 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28673
/proc/meminfo: memFree=31494480/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=2082.47 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 3982 0 0 0 208247 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5081426 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 2082.47 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28679
/proc/meminfo: memFree=31493708/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=2142.47 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 4085 0 0 0 214247 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5082427 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 2142.47 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28683
/proc/meminfo: memFree=31493928/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=2202.48 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 4085 0 0 0 220248 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 2202.48 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+2237.05 s]
# the end of solver process 28087 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2237.24 s, system=0.005 s

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

[startup+2214.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28683
/proc/meminfo: memFree=31493608/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=2214.58 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 4085 0 0 0 221458 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5081355 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 2214.58 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+2227.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28685
/proc/meminfo: memFree=31493660/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=2227.38 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 4188 0 0 0 222738 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5081975 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 2227.38 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+2233.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28687
/proc/meminfo: memFree=31493248/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=2233.78 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 4188 0 0 0 223378 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5017569 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 2233.78 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+2235.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28687
/proc/meminfo: memFree=31493504/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=2235.38 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 4188 0 0 0 223538 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5017277 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 2235.38 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+2236 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28687
/proc/meminfo: memFree=31493504/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=2236.19 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 4188 0 0 0 223619 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 2236.19 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+2236.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28687
/proc/meminfo: memFree=31493504/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=2236.98 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 4188 0 0 0 223698 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5082411 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 2236.98 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

[startup+2237 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28687
/proc/meminfo: memFree=31493504/32770688 swapFree=67001380/67108860
[pid=28087] ppid=28084 vsize=27624 memory=4196 CPUtime=2237.19 cores=0-3
/proc/28087/stat : 28087 (cosoco) R 28084 28087 26332 0 -1 4202496 4188 0 0 0 223719 0 0 0 20 0 1 0 555641731 28286976 1049 33554432000 4194304 6211132 140724387467184 140724387465144 5079308 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38301696 140724387472395 140724387472497 140724387472497 140724387475406 0
/proc/28087/statm: 6906 1049 867 493 0 211 0
Current children cumulated CPU time: 2237.19 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4196 KiB

Child status: 0
Real time (s): 2237.05
CPU time (s): 2237.25
CPU user time (s): 2237.24
CPU system time (s): 0.005
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 27624
Max. memory (cumulated for all children) (KiB): 4196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2237.24
system time used= 0.005
maximum resident set size= 4264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4238
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= 6
involuntary context switches= 666


# summary of solver processes directly reported to runsolver:
#   pid: 28087
#   total CPU time (s): 2237.25
#   total CPU user time (s): 2237.24
#   total CPU system time (s): 0.005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.23851 second user time and 15.7603 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-30 00:42:40
IDJOB=4408601
IDBENCH=132068
IDSOLVER=2875
FILE ID=node116/4408601-1569797002
RUNJOBID= node116-1569787351-26363
PBS_JOBID= 21705835
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-LV/Subisomorphism-g19-g25.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408601-1569797002/watcher-4408601-1569797002 -o /tmp/evaluation-result-4408601-1569797002/solver-4408601-1569797002 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408601-1569797002.xml

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

MD5SUM BENCH= 6a0b9ff28537b74082311c97fcf8fc06
RANDOM SEED=1626070831

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        31061356 kB
MemAvailable:   31412844 kB
Buffers:          190592 kB
Cached:           481400 kB
SwapCached:         3344 kB
Active:           814816 kB
Inactive:         304864 kB
Active(anon):     465560 kB
Inactive(anon):    63420 kB
Active(file):     349256 kB
Inactive(file):   241444 kB
Unevictable:      108916 kB
Mlocked:          108916 kB
SwapTotal:      67108860 kB
SwapFree:       67001380 kB
Dirty:              2828 kB
Writeback:             0 kB
AnonPages:        559284 kB
Mapped:            27900 kB
Shmem:             72416 kB
Slab:             183876 kB
SReclaimable:     153248 kB
SUnreclaim:        30628 kB
KernelStack:        3696 kB
PageTables:         6252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1010636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    507904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62024 MiB
End job on node116 at 2019-09-30 01:19:57