Trace number 4390061

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 1961.87 1962.1

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.00	c root propagations     : 3468        
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-4390061-1568340916.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.01 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 64
0.00/0.00	c |            Domain Sizes: 75..75
0.00/0.00	c |
0.00/0.00	c |             Constraints: 233
0.00/0.00	c |                   Arity: 1..64  -- Unary: 64  -- Binary: 168
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          All Different: 1
0.00/0.00	c |                          Extension: 168  (nb tuples: 228..228) -- (shared: 227)
0.00/0.00	c |                          Unary: 64
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.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.04	c 332            709            54798          95213          64             0              5   10   7     
0.00/0.06	c 465            981            80550          135651         64             0              4   9   6      
0.00/0.08	c 611            1297           107468         180104         64             0              4   9   7      
0.00/0.10	c 771            1626           131611         219718         64             0              4   10   7     
0.10/0.12	c 947            1969           158073         274400         64             0              4   9   6      
0.10/0.15	c 1140           2371           192174         320684         64             0              4   9   6      
0.10/0.18	c 1352           2821           227106         389475         64             0              4   9   7      
0.10/0.20	c 1585           3310           266526         448422         64             0              4   8   6      
0.21/0.24	c 1841           3886           316602         525627         64             0              5   10   7     
0.21/0.28	c 2122           4505           366934         612573         64             0              4   9   6      
0.31/0.32	c 2431           5164           423618         699070         64             0              5   9   6      
0.31/0.36	c 2770           5892           474746         788185         64             0              4   9   7      
0.31/0.40	c 3142           6676           536953         900672         64             0              4   9   6      
0.41/0.45	c 3551           7525           606169         1019426        64             0              4   9   7      
0.51/0.51	c 4000           8576           687185         1164904        64             0              3   10   6     
0.51/0.57	c 4493           9651           769435         1291921        64             0              3   9   6      
0.60/0.65	c 5035           10830          864768         1461634        64             0              3   10   6     
0.69/0.72	c 5631           12134          968276         1635870        64             0              3   9   6      
0.79/0.81	c 6286           13491          1078175        1839680        64             0              4   10   7     
0.89/0.91	c 7006           15130          1214652        2097651        64             0              3   9   6      
1.00/1.01	c 7798           16735          1339509        2333030        64             0              3   10   7     
1.10/1.11	c 8669           18633          1472905        2579244        64             0              4   9   6      
1.19/1.24	c 9627           20723          1635200        2869187        64             0              3   9   6      
1.29/1.37	c 10680          22950          1808423        3195845        64             0              3   9   6      
1.49/1.53	c 11838          25556          2003005        3559995        64             0              3   11   6     
1.59/1.69	c 13111          28285          2238639        3914923        64             0              3   9   6      
1.79/1.86	c 14511          31319          2461962        4331704        64             0              3   9   6      
2.00/2.07	c 16051          34727          2744801        4825529        64             0              3   9   6      
2.19/2.27	c 17745          38435          3015888        5284473        64             0              3   9   6      
2.49/2.50	c 19608          42358          3303123        5823345        64             0              3   9   6      
2.69/2.76	c 21657          46880          3674167        6426941        64             0              3   9   6      
3.00/3.05	c 23910          51650          4023678        7047402        64             0              3   11   7     
3.29/3.38	c 26388          57089          4351456        7486319        64             0              6   11   9     
3.69/3.74	c 29113          62654          4730678        8058996        64             0              4   11   8     
4.10/4.18	c 32110          69394          5285809        8958036        64             0              3   10   7     
4.49/4.59	c 35406          76543          5804949        9898558        64             0              2   9   6      
5.00/5.09	c 39031          84923          6502244        11090938       64             0              3   9   6      
5.59/5.69	c 43018          93716          7112432        12071991       64             0              4   11   8     
6.19/6.20	c 47403          102771         7647728        12867743       64             0              6   11   9     
6.79/6.84	c 52226          112474         8258305        13912446       64             0              5   11   9     
7.49/7.50	c 57531          123827         8942505        14910031       64             0              4   10   9     
8.19/8.24	c 63366          135421         9662869        15963898       64             0              4   10   8     
9.00/9.08	c 69784          150521         10579889       17103901       64             0              4   10   8     
10.00/10.07	c 76843          166128         11634438       18530685       64             0              5   11   9     
10.89/10.92	c 84607          180464         12484590       19856778       64             0              4   10   8     
12.00/12.10	c 93147          198500         13784204       21594172       64             0              4   11   8     
13.19/13.28	c 102541         218075         15050268       23406915       64             0              3   11   9     
14.69/14.74	c 112874         240110         16546053       25609864       64             0              5   11   8     
16.19/16.20	c 124240         264046         18069824       27669434       64             0              4   11   8     
17.79/17.84	c 136742         290452         19814587       30363290       64             0              5   10   9     
19.59/19.68	c 150494         320582         21762441       32903237       64             0              4   11   9     
21.59/21.66	c 165621         350464         23543735       35961468       64             0              4   12   9     
23.89/23.95	c 182260         385566         25875180       39753840       64             0              4   10   9     
26.39/26.41	c 200562         424082         28585021       43126432       64             0              4   11   8     
29.10/29.17	c 220694         467865         31507308       47080878       64             0              4   11   8     
31.79/31.81	c 242839         512291         34477365       51022280       64             0              3   10   8     
35.10/35.14	c 267198         565920         37976568       56036730       64             0              4   11   9     
38.69/38.72	c 293992         622351         41779592       61622285       64             0              4   11   8     
42.79/42.82	c 323465         683048         45739754       67865284       64             0              3   11   9     
47.39/47.47	c 355885         752079         50392647       75123819       64             0              4   11   9     
52.09/52.18	c 391547         827217         55289267       82476089       64             0              4   11   9     
57.49/57.51	c 430775         908866         60664949       90871820       64             0              3   11   8     
63.78/63.87	c 473925         1004408        67350721       100025084      64             0              3   12   8     
70.48/70.57	c 521390         1105331        74239103       109466434      64             0              4   11   9     
77.78/77.88	c 573601         1218557        81867097       120589281      64             0              4   11   9     
86.28/86.32	c 631033         1345965        90424376       133050806      64             0              4   11   8     
94.99/95.10	c 694208         1484388        99410786       146485488      64             0              4   11   9     
104.48/104.50	c 763700         1627782        108626602      160996181      64             0              3   11   8     
114.18/114.27	c 840141         1786354        117746527      176671116      64             0              3   11   9     
124.78/124.83	c 924226         1956341        129186448      193080367      64             0              3   11   8     
137.48/137.57	c 1016719        2156315        142343904      212719356      64             0              3   11   9     
150.77/150.80	c 1118461        2368153        154929504      233143794      64             0              3   12   9     
166.08/166.12	c 1230377        2612058        170592438      255604706      64             0              3   11   8     
182.37/182.41	c 1353484        2869928        186776838      280208728      64             0              3   12   8     
200.77/200.81	c 1488901        3163467        206005359      307832345      64             0              4   12   8     
221.37/221.44	c 1637859        3481312        228058840      340116540      64             0              3   12   9     
245.36/245.45	c 1801712        3842605        252772699      376637091      64             0              3   12   8     
268.56/268.68	c 1981950        4233637        277672218      410362562      64             0              3   11   8     
294.36/294.40	c 2180211        4673951        306630896      449296772      64             0              2   12   9     
323.66/323.75	c 2398298        5150059        336731038      492939979      64             0              3   11   9     
356.65/356.71	c 2638193        5666234        370207589      543543838      64             0              3   12   8     
389.96/390.02	c 2902077        6212835        405715411      596361956      64             0              3   11   9     
429.45/429.52	c 3192349        6839052        445141875      659378122      64             0              3   12   9     
473.74/473.82	c 3511648        7559462        492421057      728473112      64             0              2   12   9     
524.04/524.15	c 3862876        8344650        544417290      801151292      64             0              3   11   8     
578.13/578.24	c 4249226        9191493        599968202      882353041      64             0              3   11   8     
631.82/631.92	c 4674211        10091808       655853685      966192768      64             0              2   11   8     
694.92/695.08	c 5141694        11082822       721468754      1066579059     64             0              3   12   9     
765.71/765.87	c 5655925        12169582       790388576      1173916670     64             0              3   12   8     
844.01/844.12	c 6221579        13413415       869638042      1291513242     64             0              2   12   8     
930.49/930.66	c 6843798        14738594       955915566      1424479550     64             0              2   13   8     
1024.08/1024.28	c 7528238        16280100       1052854051     1560749869     64             0              2   12   9     
1124.97/1125.13	c 8281122        17892091       1156039080     1714050515     64             0              3   12   8     
1233.86/1234.01	c 9109294        19736687       1273718535     1881383852     64             0              2   12   9     
1355.85/1356.01	c 10020283       21724728       1399113469     2065009982     64             0              2   12   9     
1496.12/1496.38	c 11022370       23918659       1539403769     2283100287     64             0              2   12   8     
1645.51/1645.79	c 12124665       26304030       1688471217     2504472319     64             0              2   12   8     
1811.29/1811.54	c 13337189       28997706       1857719674     2754534681     64             0              2   12   8     
1961.76/1962.10	s UNSATISFIABLE
1961.76/1962.10	c restarts              : 100         
1961.76/1962.10	c conflicts             : 14405069     (7343 /sec)
1961.76/1962.10	c decisions             : 31410274     (16011 /sec)
1961.76/1962.10	c propagations          : 2985185587  (1521623 /sec)
1961.76/1962.10	c root propagations     : 3468        
1961.76/1962.10	c filter calls          : 2013323393     (1026240 /sec)
1961.76/1962.10	c useless filter calls  : 1690452515     (83 %)
1961.76/1962.10	c Memory used           : 26.98 MB
1961.76/1962.10	c CPU time              : 1961.84 s
1961.76/1962.10	c real time             : 1962.1 s
1961.76/1962.10

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390061-1568340916/watcher-4390061-1568340916 -o /tmp/evaluation-result-4390061-1568340916/solver-4390061-1568340916 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568318532-25084 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390061-1568340916.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
Current StackSize limit: 8192 KiB

solver pid=29397, runsolver pid=29394

[startup+0.100197 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 29398
/proc/meminfo: memFree=25145096/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=3952 CPUtime=0.1 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 1206 0 0 0 10 0 0 0 20 0 1 0 410348888 28286976 988 33554432000 4194304 6210612 140724663141536 140724663138072 5392183 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 988 820 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.209767 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 29398
/proc/meminfo: memFree=25145096/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=3952 CPUtime=0.21 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 1206 0 0 0 21 0 0 0 20 0 1 0 410348888 28286976 988 33554432000 4194304 6210612 140724663141536 140724663138072 5075200 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 988 820 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.309131 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 29398
/proc/meminfo: memFree=25145096/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=3952 CPUtime=0.31 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 1206 0 0 0 31 0 0 0 20 0 1 0 410348888 28286976 988 33554432000 4194304 6210612 140724663141536 140724663138072 5075457 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 988 820 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.700335 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29398
/proc/meminfo: memFree=25145096/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=3952 CPUtime=0.69 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 1206 0 0 0 69 0 0 0 20 0 1 0 410348888 28286976 988 33554432000 4194304 6210612 140724663141536 140724663138072 5078668 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 988 820 493 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29398
/proc/meminfo: memFree=25144400/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=3952 CPUtime=1.49 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 1206 0 0 0 149 0 0 0 20 0 1 0 410348888 28286976 988 33554432000 4194304 6210612 140724663141536 140724663139496 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 988 820 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.10927 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29398
/proc/meminfo: memFree=25144276/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=3.1 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 1321 0 0 0 310 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5078724 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29398
/proc/meminfo: memFree=25144292/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=6.29 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 1436 0 0 0 629 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5081631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29400
/proc/meminfo: memFree=25144560/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=12.69 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 1551 0 0 0 1269 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5397059 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29400
/proc/meminfo: memFree=25144268/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=25.49 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 1769 0 0 0 2549 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5079072 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29400
/proc/meminfo: memFree=25144364/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=51.09 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 1896 0 0 0 5109 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5074860 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 29406
/proc/meminfo: memFree=25143436/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=102.28 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 2011 0 0 0 10228 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5078671 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 29410
/proc/meminfo: memFree=25142888/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=162.27 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 2126 0 0 0 16227 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5075248 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 29414
/proc/meminfo: memFree=25142424/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=222.27 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 2241 0 0 0 22227 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5082059 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29420
/proc/meminfo: memFree=25141972/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=282.26 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 2356 0 0 0 28226 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5076037 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29429
/proc/meminfo: memFree=25142244/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=342.25 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 2471 0 0 0 34225 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5075223 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29433
/proc/meminfo: memFree=25142136/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=402.25 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 2586 0 0 0 40225 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5074055 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29439
/proc/meminfo: memFree=25142152/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=462.24 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 2701 0 0 0 46224 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5078864 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB


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

Current children cumulated memory: 4176 KiB

[startup+1542.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/200 29535
/proc/meminfo: memFree=25140088/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1542.12 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 4699 0 0 0 154212 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5082059 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1542.12 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1602.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/199 29539
/proc/meminfo: memFree=25140444/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1602.11 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 4802 0 0 0 160211 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5389284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1602.11 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.05 2.08 3/199 29543
/proc/meminfo: memFree=25140300/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1662.1 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 4917 0 0 0 166210 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5017201 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1662.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/200 29549
/proc/meminfo: memFree=25140368/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1722.1 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5020 0 0 0 172210 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5075260 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1782.3 s]
/proc/loadavg: 2.44 2.14 2.10 3/199 29553
/proc/meminfo: memFree=25140716/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1782.09 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5123 0 0 0 178209 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5075192 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1842.3 s]
/proc/loadavg: 2.23 2.15 2.11 3/199 29557
/proc/meminfo: memFree=25140744/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1842.08 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5238 0 0 0 184208 0 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5081367 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1902.3 s]
/proc/loadavg: 2.08 2.12 2.10 3/201 29606
/proc/meminfo: memFree=25138036/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1902.06 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5341 0 0 0 190204 2 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5017311 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1902.06 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1962.1 s]
# the end of solver process 29397 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1961.84 s, system=0.021997 s

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

[startup+1920 s]*
/proc/loadavg: 1.99 2.10 2.09 3/200 29668
/proc/meminfo: memFree=25162120/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1919.77 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5444 0 0 0 191975 2 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5081129 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1919.77 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1945.6 s]
/proc/loadavg: 1.99 2.09 2.09 3/200 29729
/proc/meminfo: memFree=25162700/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1945.36 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5444 0 0 0 194534 2 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5076031 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1945.36 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1952 s]*
/proc/loadavg: 1.99 2.09 2.09 2/195 29840
/proc/meminfo: memFree=25166172/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1951.76 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5444 0 0 0 195174 2 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5080987 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1951.76 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1958.4 s]
/proc/loadavg: 2.07 2.10 2.09 3/200 29853
/proc/meminfo: memFree=25162352/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1958.16 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5444 0 0 0 195814 2 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5080981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1958.16 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1960 s]*
/proc/loadavg: 2.07 2.10 2.09 3/200 29853
/proc/meminfo: memFree=25162476/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1959.76 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5444 0 0 0 195974 2 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5074058 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1959.76 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1960.8 s]
/proc/loadavg: 2.07 2.10 2.09 3/200 29853
/proc/meminfo: memFree=25162476/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1960.55 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5444 0 0 0 196053 2 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5076031 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1960.55 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1961.6 s]
/proc/loadavg: 2.07 2.10 2.09 3/200 29853
/proc/meminfo: memFree=25162600/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1961.35 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5444 0 0 0 196133 2 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5017320 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1961.35 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

[startup+1962 s]*
/proc/loadavg: 2.07 2.10 2.09 3/200 29853
/proc/meminfo: memFree=25162724/32770624 swapFree=66977612/67108860
[pid=29397] ppid=29394 vsize=27624 memory=4176 CPUtime=1961.76 cores=0,2,4,6
/proc/29397/stat : 29397 (cosoco) R 29394 29397 25053 0 -1 4202496 5444 0 0 0 196174 2 0 0 20 0 1 0 410348888 28286976 1044 33554432000 4194304 6210612 140724663141536 140724663139496 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 37916672 140724663149579 140724663149681 140724663149681 140724663152590 0
/proc/29397/statm: 6906 1044 862 493 0 211 0
Current children cumulated CPU time: 1961.76 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4176 KiB

Child status: 0
Real time (s): 1962.1
CPU time (s): 1961.87
CPU user time (s): 1961.84
CPU system time (s): 0.021997
CPU usage (%): 99.9878
Max. virtual memory (cumulated for all children) (KiB): 27624
Max. memory (cumulated for all children) (KiB): 4176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1961.84
system time used= 0.021997
maximum resident set size= 4248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5495
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= 2788


# summary of solver processes directly reported to runsolver:
#   pid: 29397
#   total CPU time (s): 1961.87
#   total CPU user time (s): 1961.84
#   total CPU system time (s): 0.021997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64736 second user time and 13.4584 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-13 03:04:59
IDJOB=4390061
IDBENCH=132068
IDSOLVER=2830
FILE ID=node104/4390061-1568340916
RUNJOBID= node104-1568318532-25084
PBS_JOBID= 21701142
Free space on /tmp= 56572 MiB

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

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

MD5SUM BENCH= 6a0b9ff28537b74082311c97fcf8fc06
RANDOM SEED=1405106571

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        25145472 kB
MemAvailable:   31807536 kB
Buffers:          136752 kB
Cached:          6738588 kB
SwapCached:        31864 kB
Active:          1788172 kB
Inactive:        5147388 kB
Active(anon):      26876 kB
Inactive(anon):    74776 kB
Active(file):    1761296 kB
Inactive(file):  5072612 kB
Unevictable:      107804 kB
Mlocked:          107804 kB
SwapTotal:      67108860 kB
SwapFree:       66977612 kB
Dirty:              2808 kB
Writeback:             0 kB
AnonPages:        137208 kB
Mapped:            44908 kB
Shmem:             32812 kB
Slab:             286536 kB
SReclaimable:     256616 kB
SUnreclaim:        29920 kB
KernelStack:        3632 kB
PageTables:         5664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     541492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56568 MiB
End job on node104 at 2019-09-13 03:37:41