Trace number 4295262

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 1.12? (TO) 2519.67 2520.01

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g10-g23_c18.xml
MD5SUM5bb458afb57028f2eacd8dc69366d90c
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 benchmark87.6401
Satisfiable
(Un)Satisfiability was proved
Number of variables41
Number of constraints121
Number of domains1
Minimum domain size73
Maximum domain size73
Distribution of domain sizes[{"size":73,"count":41}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":14},{"degree":7,"count":4},{"degree":8,"count":4},{"degree":10,"count":1},{"degree":11,"count":1}]
Minimum constraint arity1
Maximum constraint arity41
Distribution of constraint arities[{"arity":1,"count":40},{"arity":2,"count":80},{"arity":41,"count":1}]
Number of extensional constraints120
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":120},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 827         
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 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295262-1532544038.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.00 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 41
0.00/0.01	c |            Domain Sizes: 73..73
0.00/0.01	c |
0.00/0.01	c |             Constraints: 121
0.00/0.01	c |                   Arity: 1..41  -- Unary: 40  -- Binary: 80
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: 80  (nb tuples: 566..566) -- (shared: 112)
0.00/0.01	c |                          Unary: 40
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            226            8404           33531          41             0              5   12   8     
0.00/0.02	c 211            483            14996          49518          41             0              6   14   11    
0.00/0.03	c 332            787            25255          71211          41             0              6   11   9     
0.00/0.04	c 465            1142           34756          91632          41             0              9   15   12    
0.00/0.06	c 611            1455           44635          119554         41             0              6   14   12    
0.00/0.07	c 771            1828           56515          144890         41             0              6   14   11    
0.00/0.08	c 947            2159           66319          174521         41             0              8   15   11    
0.09/0.11	c 1140           2622           83051          211224         41             0              6   12   9     
0.09/0.13	c 1352           3143           103432         259847         41             0              6   14   11    
0.09/0.15	c 1585           3668           118830         301440         41             0              6   15   13    
0.09/0.17	c 1841           4275           136616         348402         41             0              7   16   12    
0.09/0.20	c 2122           4922           158998         398439         41             0              5   14   11    
0.20/0.22	c 2431           5620           182809         465370         41             0              6   13   10    
0.20/0.25	c 2770           6409           206306         546377         41             0              6   16   12    
0.20/0.29	c 3142           7284           232819         608389         41             0              6   15   11    
0.30/0.32	c 3551           8111           259437         686977         41             0              8   14   11    
0.30/0.36	c 4000           9189           295445         781599         41             0              5   15   10    
0.30/0.39	c 4493           10240          324306         841273         41             0              6   13   9     
0.40/0.44	c 5035           11397          366960         970521         41             0              5   14   10    
0.40/0.48	c 5631           12664          399923         1045946        41             0              6   14   10    
0.50/0.54	c 6286           14190          447084         1167533        41             0              8   15   12    
0.50/0.59	c 7006           15835          497280         1295016        41             0              6   15   10    
0.59/0.66	c 7798           17557          550746         1436637        41             0              4   14   9     
0.69/0.73	c 8669           19524          614244         1604014        41             0              6   14   11    
0.79/0.81	c 9627           21402          677721         1809828        41             0              5   14   9     
0.79/0.89	c 10680          23637          739802         1965854        41             0              5   14   10    
0.89/0.98	c 11838          26100          814444         2196131        41             0              5   13   9     
0.99/1.08	c 13111          29053          902642         2387712        41             0              5   13   9     
1.19/1.20	c 14511          32508          1006931        2630594        41             0              4   13   10    
1.29/1.34	c 16051          36309          1122317        2906862        41             0              5   14   10    
1.39/1.48	c 17745          40335          1252520        3182899        41             0              5   14   10    
1.59/1.63	c 19608          44548          1376263        3499563        41             0              6   15   11    
1.79/1.82	c 21657          49597          1554816        3873854        41             0              7   16   14    
1.99/2.01	c 23910          54618          1688966        4265471        41             0              6   15   11    
2.19/2.22	c 26388          59916          1837381        4718506        41             0              9   19   16    
2.39/2.45	c 29113          65533          2032022        5269336        41             0              6   19   13    
2.59/2.68	c 32110          72083          2210899        5708140        41             0              4   16   10    
2.88/2.95	c 35406          79657          2422451        6205635        41             0              5   17   12    
3.18/3.27	c 39031          88784          2704341        6815750        41             0              5   17   11    
3.58/3.61	c 43018          97569          2983053        7536560        41             0              3   14   10    
3.88/4.00	c 47403          108384         3259878        8242998        41             0              5   16   11    
4.38/4.41	c 52226          119364         3566225        9077502        41             0              6   16   12    
4.88/4.91	c 57531          132210         3965044        10139364       41             0              5   15   11    
5.38/5.43	c 63366          145725         4363812        11260594       41             0              5   17   13    
5.88/5.99	c 69784          160322         4783127        12453441       41             0              4   16   12    
6.48/6.50	c 76843          175287         5200642        13579469       41             0              6   16   12    
7.09/7.12	c 84607          192535         5681845        14938411       41             0              5   16   12    
7.78/7.80	c 93147          212285         6244035        16404413       41             0              4   16   10    
8.48/8.56	c 102541         233004         6875789        18184239       41             0              5   16   11    
9.28/9.38	c 112874         256643         7558162        19841554       41             0              4   16   10    
10.38/10.41	c 124240         282901         8398871        22091909       41             0              5   16   12    
11.38/11.45	c 136742         311170         9261813        24328688       41             0              4   17   11    
12.48/12.58	c 150494         342009         10141062       26467769       41             0              3   16   9     
13.68/13.76	c 165621         373747         11012149       29220624       41             0              5   20   14    
14.99/15.06	c 182260         413449         12157039       31654122       41             0              4   16   10    
17.18/17.21	c 200562         454014         13521272       37269959       41             0              7   21   16    
18.88/18.93	c 220694         501288         15038839       41486134       41             0              5   20   13    
20.88/20.96	c 242839         552270         16535320       46415641       41             0              4   17   13    
22.99/23.03	c 267198         608477         18248013       50738334       41             0              5   18   12    
25.28/25.39	c 293992         670503         20036164       55524687       41             0              4   18   11    
27.88/27.96	c 323465         742448         22153987       60756530       41             0              5   15   11    
30.58/30.69	c 355885         815357         24367824       66369269       41             0              3   19   11    
33.78/33.81	c 391547         899029         26761339       72526787       41             0              4   17   11    
36.98/37.05	c 430775         986556         29293729       79430462       41             0              6   18   12    
40.47/40.50	c 473925         1082194        31895497       86625908       41             0              5   18   12    
43.37/43.45	c 521390         1177352        34195870       92593920       41             0              5   20   12    
47.67/47.73	c 573601         1294833        37450427       101810611      41             0              4   18   12    
52.57/52.68	c 631033         1433662        41487343       113034247      41             0              4   16   11    
57.37/57.43	c 694208         1563885        45297828       123722454      41             0              5   22   13    
62.98/63.01	c 763700         1726584        49556822       134221537      41             0              3   18   11    
69.17/69.27	c 840141         1907459        54631693       146670909      41             0              2   18   11    
76.37/76.42	c 924226         2103730        60561331       162084412      41             0              3   17   11    
83.77/83.89	c 1016719        2313274        66412521       178703547      41             0              3   19   11    
91.17/91.29	c 1118461        2504933        72152459       197676762      41             0              6   21   14    
100.67/100.70	c 1230377        2758834        79594034       218145074      41             0              4   21   13    
111.27/111.34	c 1353484        3050557        88765276       240631927      41             0              2   18   12    
123.46/123.57	c 1488901        3392574        97832316       263856596      41             0              4   19   14    
136.07/136.16	c 1637859        3740375        108481657      293488230      41             0              3   18   11    
150.76/150.88	c 1801712        4148431        119459984      322457113      41             0              4   20   14    
166.56/166.66	c 1981950        4573240        132884116      358982577      41             0              3   16   11    
184.06/184.17	c 2180211        5049281        146129461      395065056      41             0              3   19   11    
202.65/202.71	c 2398298        5575754        161788584      433836159      41             0              3   19   10    
222.75/222.80	c 2638193        6194021        177647508      468745107      41             0              3   19   12    
245.65/245.74	c 2902077        6815701        195669948      512226668      41             0              5   20   13    
270.35/270.49	c 3192349        7485443        215966873      571259573      41             0              2   22   11    
294.84/294.90	c 3511648        8153006        235176147      623896670      41             0              4   20   13    
324.05/324.18	c 3862876        8962832        258865249      689211831      41             0              3   18   12    
355.63/355.79	c 4249226        9775693        284855605      782816118      41             0              5   16   11    
390.13/390.29	c 4674211        10730886       311539067      856995456      41             0              3   18   11    
431.23/431.34	c 5141694        11814291       345210119      951267583      41             0              3   18   10    
467.52/467.62	c 5655925        12863005       373760997      1042639411     41             0              4   19   13    
516.51/516.63	c 6221579        14155020       413600429      1152909109     41             0              2   20   11    
568.02/568.14	c 6843798        15489296       451192619      1266509903     41             0              3   20   14    
627.30/627.43	c 7528238        17048129       494950631      1389134200     41             0              3   20   13    
688.59/688.73	c 8281122        18671362       544869984      1520996630     41             0              3   20   13    
757.89/758.02	c 9109294        20579844       601989576      1669649259     41             0              3   20   12    
837.77/837.90	c 10020283       22689973       666709611      1848108616     41             0              2   17   11    
919.26/919.40	c 11022370       24838741       732183838      2026172707     41             0              3   21   13    
1008.75/1008.95	c 12124665       27351111       798445754      2188311230     41             0              3   23   13    
1114.54/1114.73	c 13337189       30148574       883421817      2427600908     41             0              2   18   11    
1218.93/1219.16	c 14670965       33050142       966546001      2671380566     41             0              2   19   12    
1346.21/1346.48	c 16138118       36539219       1069936541     2940658379     41             0              2   21   11    
1482.80/1483.07	c 17751986       40254789       1180200872     3254872425     41             0              3   22   12    
1636.67/1636.98	c 19527240       44439409       1303568057     3577985490     41             0              2   21   11    
1804.24/1804.59	c 21480019       48868978       1430268902     3935257101     41             0              3   21   14    
1992.12/1992.45	c 23628075       53893245       1587665583     4346860077     41             0              2   20   11    
2194.59/2194.95	c 25990936       59353946       1749555518     4772943333     41             0              2   21   11    
2419.67/2420.07	c 28590083       65350276       1914893582     5228242709     41             0              3   22   13    
2519.66/2520.00	
2519.66/2520.00	c *** INTERRUPTED ***
2519.66/2520.00	c restarts              : 108         
2519.66/2520.00	c conflicts             : 29757199     (11810 /sec)
2519.66/2520.00	c decisions             : 68102929     (27029 /sec)
2519.66/2520.00	c propagations          : 5435850194  (2157373 /sec)
2519.66/2520.00	c root propagations     : 827         
2519.66/2520.00	c filter calls          : 1994081256     (791408 /sec)
2519.66/2520.00	c useless filter calls  : 1580710330     (79 %)
2519.66/2520.00	c Memory used           : 26.66 MB
2519.66/2520.00	c CPU time              : 2519.66 s
2519.66/2520.00	
2519.66/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295262-1532544038/watcher-4295262-1532544038 -o /tmp/evaluation-result-4295262-1532544038/solver-4295262-1532544038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27478 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295262-1532544038.xml 

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

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


[startup+0.100117 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28321
/proc/meminfo: memFree=8151424/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3672 CPUtime=0.09 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1134 0 0 0 9 0 0 0 20 0 1 0 71966667 27947008 918 33554432000 4194304 6142532 140735194333424 140735194330824 5062272 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 918 795 476 0 145 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.209214 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28321
/proc/meminfo: memFree=8150692/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3672 CPUtime=0.2 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1134 0 0 0 20 0 0 0 20 0 1 0 71966667 27947008 918 33554432000 4194304 6142532 140735194333424 140735194330824 5054957 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 918 795 476 0 145 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.3087 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28321
/proc/meminfo: memFree=8150692/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3672 CPUtime=0.3 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1134 0 0 0 30 0 0 0 20 0 1 0 71966667 27947008 918 33554432000 4194304 6142532 140735194333424 140735194330824 5060745 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 918 795 476 0 145 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.700229 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28321
/proc/meminfo: memFree=8150692/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3672 CPUtime=0.69 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1134 0 0 0 69 0 0 0 20 0 1 0 71966667 27947008 918 33554432000 4194304 6142532 140735194333424 140735194330824 5062288 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 918 795 476 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28321
/proc/meminfo: memFree=8150692/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3672 CPUtime=1.49 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1134 0 0 0 149 0 0 0 20 0 1 0 71966667 27947008 918 33554432000 4194304 6142532 140735194333424 140735194330824 5061915 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 918 795 476 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+3.10902 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28321
/proc/meminfo: memFree=8150520/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=3.09 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1205 0 0 0 309 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5054492 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28321
/proc/meminfo: memFree=8150520/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=6.28 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1276 0 0 0 628 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5055570 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28321
/proc/meminfo: memFree=8150520/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=12.68 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1347 0 0 0 1268 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5061915 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28321
/proc/meminfo: memFree=8150520/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=25.48 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1489 0 0 0 2548 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5058587 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+51.1089 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28321
/proc/meminfo: memFree=8150520/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=51.08 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1560 0 0 0 5108 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 4995536 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28322
/proc/meminfo: memFree=8151032/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=102.27 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1631 0 0 0 10227 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5058004 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28323
/proc/meminfo: memFree=8151092/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=162.26 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1702 0 0 0 16226 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 4995565 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28324
/proc/meminfo: memFree=8151152/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=222.25 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1773 0 0 0 22225 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5055538 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28325
/proc/meminfo: memFree=8150732/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=282.24 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1844 0 0 0 28224 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5061824 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28326
/proc/meminfo: memFree=8150796/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=342.24 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1915 0 0 0 34224 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5054344 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28327
/proc/meminfo: memFree=8150984/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=402.23 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 1986 0 0 0 40223 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5058013 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28328
/proc/meminfo: memFree=8150680/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=462.22 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 2057 0 0 0 46222 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5170144 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB


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

/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+1782.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/188 28461
/proc/meminfo: memFree=8830240/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=1782.05 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 3502 0 0 0 178205 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5060745 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 1782.05 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 28462
/proc/meminfo: memFree=8830944/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=1842.04 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 3573 0 0 0 184204 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5336745 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 1842.04 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/188 28463
/proc/meminfo: memFree=8831260/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=1902.03 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 3631 0 0 0 190203 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5327074 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 1902.03 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 28464
/proc/meminfo: memFree=8831084/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=1962.02 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 3689 0 0 0 196202 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5327384 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 1962.02 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 28465
/proc/meminfo: memFree=8831284/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=2022.02 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 3760 0 0 0 202202 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5054324 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 2022.02 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28466
/proc/meminfo: memFree=8831388/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=2082.01 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 3818 0 0 0 208201 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5058255 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 2082.01 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 28467
/proc/meminfo: memFree=8831212/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=2142 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 3876 0 0 0 214200 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5062553 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 2142 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28468
/proc/meminfo: memFree=8831416/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=2201.99 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 3947 0 0 0 220199 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5060753 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 2201.99 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28469
/proc/meminfo: memFree=8831352/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=2261.98 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 4005 0 0 0 226198 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5053584 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 2261.98 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28470
/proc/meminfo: memFree=8831300/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=2321.97 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 4063 0 0 0 232197 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 2321.97 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28479
/proc/meminfo: memFree=8830476/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=2381.97 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 4121 0 0 0 238197 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5062288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 2381.97 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28480
/proc/meminfo: memFree=8831040/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=2441.96 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 4192 0 0 0 244196 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5055437 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 2441.96 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28481
/proc/meminfo: memFree=8831328/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=2501.95 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 4250 0 0 0 250195 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5058694 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 2501.95 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 28481
/proc/meminfo: memFree=8831452/32770624 swapFree=67108860/67108860
[pid=28320] ppid=28317 vsize=27292 memory=3912 CPUtime=2519.66 cores=0,2,4,6
/proc/28320/stat : 28320 (cosoco) R 28317 28320 27447 0 -1 4202496 4308 0 0 0 251966 0 0 0 20 0 1 0 71966667 27947008 978 33554432000 4194304 6142532 140735194333424 140735194330824 5318922 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 38785024 140735194342534 140735194342664 140735194342664 140735194345422 0
/proc/28320/statm: 6823 978 843 476 0 145 0
Current children cumulated CPU time: 2519.66 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3912 KiB

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

[startup+2520.01 s]
# the end of solver process 28320 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.66 s, system=0.009998 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.67
CPU user time (s): 2519.66
CPU system time (s): 0.009998
CPU usage (%): 99.9866
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.66
system time used= 0.009998
maximum resident set size= 3976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 3172


# summary of solver processes directly reported to runsolver:
#   pid: 28320
#   total CPU time (s): 2519.67
#   total CPU user time (s): 2519.66
#   total CPU system time (s): 0.009998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.04 second user time and 14.719 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-25 20:40:38
IDJOB=4295262
IDBENCH=141499
IDSOLVER=2752
FILE ID=node106/4295262-1532544038
RUNJOBID= node106-1532535025-27478
PBS_JOBID= 21021947
Free space on /tmp= 46232 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g10-g23_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295262-1532544038/watcher-4295262-1532544038 -o /tmp/evaluation-result-4295262-1532544038/solver-4295262-1532544038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27478 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295262-1532544038.xml

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

MD5SUM BENCH= 5bb458afb57028f2eacd8dc69366d90c
RANDOM SEED=437667940

node106.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.11
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.11
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.11
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.11
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:         8151604 kB
MemAvailable:   31247704 kB
Buffers:          284168 kB
Cached:         22707776 kB
SwapCached:            0 kB
Active:          3490972 kB
Inactive:       20238288 kB
Active(anon):     740080 kB
Inactive(anon):    25252 kB
Active(file):    2750892 kB
Inactive(file): 20213036 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2804 kB
Writeback:             0 kB
AnonPages:        887380 kB
Mapped:            41984 kB
Shmem:             25228 kB
Slab:             587516 kB
SReclaimable:     560632 kB
SUnreclaim:        26884 kB
KernelStack:        3568 kB
PageTables:         6528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1031616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    827392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46232 MiB
End job on node106 at 2018-07-25 21:22:38