Trace number 4294546

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.79 2520.01

General information on the benchmark

NameMisteryShopper/
MisteryShopper-12_c18.xml
MD5SUM193461ec87a084283094d7342f0c20d4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.63089
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints741
Number of domains3
Minimum domain size5
Maximum domain size60
Distribution of domain sizes[{"size":5,"count":300},{"size":6,"count":300},{"size":60,"count":600}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":600},{"degree":3,"count":300},{"degree":4,"count":275},{"degree":5,"count":25}]
Minimum constraint arity2
Maximum constraint arity300
Distribution of constraint arities[{"arity":2,"count":600},{"arity":5,"count":125},{"arity":60,"count":10},{"arity":120,"count":5},{"arity":300,"count":1}]
Number of extensional constraints600
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":600},{"type":"allDifferent","count":130},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c Create channel(X,Y) constraint using 60 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 60 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 60 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 60 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 60 element constraint 
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-4294546-1532475563.xml 
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.10/0.12	c root propagations     : 1212        
0.10/0.12	c restarts enabled, print stats at every restarts
0.10/0.12	c
0.10/0.12	c
0.10/0.12	c ========================================[ Problem Statistics ]===========================================
0.10/0.12	c |                                                                                                       
0.10/0.12	c |  Parse time        :         0.12 s 
0.10/0.12	c |
0.10/0.12	c |               Variables: 1200
0.10/0.12	c |            Domain Sizes: 5..60
0.10/0.12	c |
0.10/0.12	c |             Constraints: 1113
0.10/0.12	c |                   Arity: 2..120  -- Binary: 620
0.10/0.12	c | 
0.10/0.12	c |                   Types: 
0.10/0.12	c |                          (X - Y < k): 20
0.10/0.12	c |                          All Different: 130
0.10/0.12	c |                          Element Constant: 300
0.10/0.12	c |                          Extension: 600  (nb tuples: 60..60) -- (shared: 0)
0.10/0.12	c |                          Lex: 63
0.10/0.12	c |                          
0.10/0.12	c =========================================================================================================
0.10/0.12	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.14	c 101            481            15108          59276          201            0              206   213   208
0.10/0.16	c 211            859            27341          92054          201            0              3   228   188  
0.10/0.20	c 332            1307           79830          142659         210            0              1   328   209  
0.21/0.22	c 465            1660           115020         171901         210            0              3   194   152  
0.21/0.25	c 611            1926           141547         201802         274            0              1   121   53   
0.21/0.29	c 771            2469           197679         234508         328            0              1   377   186  
0.30/0.33	c 947            3161           266811         268616         328            0              8   451   278  
0.30/0.37	c 1140           3657           312241         291142         329            0              1   258   191  
0.40/0.42	c 1352           4238           373172         345291         331            0              1   162   136  
0.40/0.45	c 1585           4524           411796         358634         331            0              11   47   36   
0.40/0.48	c 1841           4867           447620         371138         337            0              1   43   39    
0.60/0.62	c 2122           5720           608364         873818         337            0              9   124   105  
0.69/0.75	c 2431           6872           787114         976835         338            0              1   149   131  
0.79/0.87	c 2770           8126           938639         1185211        338            0              13   144   133 
1.00/1.05	c 3142           8829           1139136        1626625        338            0              13   136   122 
1.10/1.18	c 3551           10039          1309910        1818159        339            0              1   144   128  
1.19/1.29	c 4000           10923          1454799        2010282        339            0              1   158   131  
1.29/1.33	c 4493           11584          1514587        2050315        339            0              12   124   100 
1.39/1.42	c 5035           12497          1604675        2180569        339            0              10   37   25   
1.39/1.48	c 5631           13238          1677406        2232392        339            0              9   113   82   
1.49/1.51	c 6286           14126          1720127        2266884        339            0              12   134   102 
1.59/1.68	c 7006           15382          1971150        2938020        339            0              11   107   96  
1.69/1.78	c 7798           16248          2094933        2979617        339            0              8   48   30    
1.79/1.85	c 8669           17263          2185958        3022640        340            0              1   98   60    
1.89/1.97	c 9627           18561          2305981        3098631        340            0              8   36   25    
1.99/2.08	c 10680          19679          2430543        3178839        341            0              1   31   30    
2.19/2.20	c 11838          20938          2602474        3231848        341            0              6   58   42    
2.79/2.87	c 13111          24202          3330908        5358698        341            0              8   121   110  
3.19/3.23	c 14511          27662          3972456        5707692        341            0              7   126   119  
3.39/3.41	c 16051          30655          4210431        5866365        341            0              1   134   128  
3.99/4.08	c 17745          37536          5232260        6480864        359            0              1   134   125  
4.39/4.44	c 19608          40123          5621520        7243529        359            0              1   152   142  
4.79/4.84	c 21657          43563          6024926        8372898        405            0              1   148   143  
5.19/5.20	c 23910          48726          6667227        8757286        405            0              1   389   345  
5.69/5.75	c 26388          54542          7366536        9124774        405            0              10   181   176 
5.89/5.99	c 29113          60747          7769047        9289384        405            0              1   181   169  
6.89/6.91	c 32110          65430          8821959        10389552       405            0              1   76   62    
7.10/7.18	c 35406          69154          9151387        10547485       405            0              1   102   90   
7.59/7.69	c 39031          76380          9891373        11776893       405            0              19   117   96  
8.00/8.09	c 43018          82065          10492131       11991500       405            0              11   169   101 
9.19/9.25	c 47403          94281          12548482       14359961       406            0              1   135   129  
10.59/10.68	c 52226          130124         15119674       14845519       406            0              10   167   161 
11.39/11.42	c 57531          139427         16538717       15568220       406            0              11   332   319 
12.00/12.03	c 63366          148117         17349280       16018776       407            0              1   270   231  
12.89/12.90	c 69784          164495         18867679       16763361       407            0              15   201   193 
13.89/13.97	c 76843          183866         20250432       17688614       407            0              11   185   138 
14.59/14.64	c 84607          197586         21424270       18222871       407            0              11   184   163 
15.79/15.82	c 93147          215827         23128331       18936704       407            0              10   181   131 
16.49/16.59	c 102541         231328         24428241       19425204       407            0              9   179   144  
17.69/17.72	c 112874         256494         26345229       20337431       407            0              9   175   158  
19.19/19.27	c 124240         286998         28539079       21376860       407            0              10   178   136 
20.49/20.58	c 136742         311090         30311308       22200388       408            0              1   161   106  
21.39/21.40	c 150494         326490         31375353       22645135       408            0              11   78   61   
24.59/24.67	c 165621         358335         36888267       27243475       408            0              10   80   75   
29.99/30.09	c 182260         439812         46695514       31077929       408            0              10   138   132 
30.99/31.04	c 200562         462928         47832828       31466902       408            0              11   323   312 
32.78/32.83	c 220694         485532         50807197       32372671       409            0              1   329   228  
37.88/38.00	c 242839         536153         58900522       38064836       409            0              11   604   542 
40.09/40.12	c 267198         591293         62885882       39120120       409            0              11   181   176 
42.48/42.52	c 293992         653859         67154790       40366019       409            0              11   166   161 
45.48/45.51	c 323465         704197         73591152       43303268       409            0              1   143   137  
48.28/48.32	c 355885         768440         77601252       45111973       409            0              10   370   362 
51.58/51.66	c 391547         854150         83426878       47003004       409            0              10   241   235 
55.78/55.80	c 430775         946363         90655683       50330877       409            0              10   184   168 
59.99/60.04	c 473925         1046308        97721863       53343053       409            0              11   149   136 
61.09/61.11	c 521390         1095510        98796370       53784259       409            0              11   70   64   
65.99/66.05	c 573601         1225259        107743041      58563515       409            0              11   119   112 
69.09/69.13	c 631033         1307091        112532331      60577789       410            0              1   92   86    
77.58/77.68	c 694208         1443050        129001890      71836593       410            0              12   120   114 
82.28/82.39	c 763700         1527768        135817297      89114040       411            0              1   122   89   
86.28/86.38	c 840141         1634256        141788248      92047374       411            0              11   99   91   
95.78/95.80	c 924226         1784905        155626250      113557479      411            0              11   114   89  
114.48/114.55	c 1016719        2073126        186861458      138390931      411            0              11   109   104 
122.99/123.03	c 1118461        2270579        200579047      146862397      411            0              12   111   89  
134.58/134.64	c 1230377        2466145        216937773      192100500      411            0              14   103   86  
138.88/138.98	c 1353484        2617922        221428137      195678167      411            0              1   82   69    
151.98/152.04	c 1488901        2889206        243296649      216915323      411            0              14   120   103 
183.17/183.22	c 1637859        3233945        287768800      403723992      411            0              12   86   69   
188.17/188.29	c 1801712        3420478        293075388      407088407      411            0              24   84   69   
193.27/193.30	c 1981950        3612898        298263447      413507500      412            0              1   76   71    
216.87/216.95	c 2180211        3946104        328656134      500187949      412            0              13   86   83   
230.67/230.71	c 2398298        4241358        346212713      518716729      413            0              1   83   79    
248.27/248.39	c 2638193        4527547        371043780      556744940      414            0              1   69   64    
263.77/263.81	c 2902077        4883257        392241237      574611077      415            0              1   83   70    
306.36/306.49	c 3192349        5487570        458661924      611918906      415            0              24   90   80   
371.46/371.56	c 3511648        6189563        570839337      786452626      415            0              34   89   77   
411.25/411.37	c 3862876        6955934        634864540      820828076      415            0              10   93   85   
475.96/476.03	c 4249226        7685571        745368953      1014329419     415            0              13   109   87  
525.84/525.93	c 4674211        8656676        831198461      1057864805     415            0              10   86   80   
541.05/541.12	c 5141694        9190843        849005232      1066772885     415            0              17   84   74   
610.84/610.96	c 5655925        10473063       966250206      1187518002     415            0              32   91   84   
639.63/639.77	c 6221579        11165987       1006412817     1218600663     415            0              9   91   71    
717.04/717.15	c 6843798        12434834       1141972407     1409364875     415            0              32   95   79   
860.51/860.61	c 7528238        14396061       1398981006     1533424840     415            0              20   81   72   
884.92/885.03	c 8281122        15316002       1432429294     1544755721     415            0              30   85   80   
1011.20/1011.36	c 9109294        17753444       1635145364     1820647817     415            0              33   113   92  
1105.90/1106.03	c 10020283       19498463       1801677616     1990888605     415            0              25   89   79   
1213.99/1214.14	c 11022370       21652986       1992838019     2221546820     415            0              33   106   89  
1349.17/1349.30	c 12124665       24031640       2223015862     2556092329     415            0              32   102   90  
1453.66/1453.81	c 13337189       26469861       2390352223     2649536366     415            0              29   95   87   
1578.45/1578.60	c 14670965       28830699       2584397827     2814199503     415            0              29   95   82   
1753.95/1754.17	c 16138118       31817442       2865993525     3042945790     415            0              9   96   87    
1947.22/1947.42	c 17751986       36099887       3206567211     3286105728     415            0              23   86   78   
2251.80/2252.03	c 19527240       39377640       3676266664     3948935271     415            0              9   116   91   
2489.97/2490.27	c 21480019       43630700       4089939635     4246387162     415            0              10   98   89   
2519.78/2520.00	
2519.78/2520.00	c *** INTERRUPTED ***
2519.78/2520.00	c restarts              : 105         
2519.78/2520.00	c conflicts             : 21650914     (8592 /sec)
2519.78/2520.00	c decisions             : 44038518     (17477 /sec)
2519.78/2520.00	c propagations          : 4323827326  (1715958 /sec)
2519.78/2520.00	c root propagations     : 1212        
2519.78/2520.00	c filter calls          : 4138477614     (1642399 /sec)
2519.78/2520.00	c useless filter calls  : 3393749285     (82 %)
2519.78/2520.00	c Memory used           : 37.05 MB
2519.78/2520.00	c CPU time              : 2519.78 s
2519.78/2520.00	
2519.78/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 (4866 MiB free)
  memory of node 1: 16384 MiB (10842 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294546-1532475563/watcher-4294546-1532475563 -o /tmp/evaluation-result-4294546-1532475563/solver-4294546-1532475563 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22596 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294546-1532475563.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=23119, runsolver pid=23116
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 23120
/proc/meminfo: memFree=16078752/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=34188 memory=10484 CPUtime=0.1 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 2817 0 0 0 10 0 0 0 20 0 1 0 65119548 35008512 2621 33554432000 4194304 6142532 140724014480128 140724014476760 139869665287141 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 8547 2621 813 476 0 1869 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34188 KiB
Current children cumulated memory: 10484 KiB

[startup+0.209404 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 23120
/proc/meminfo: memFree=16076056/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=36616 memory=13124 CPUtime=0.21 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 3470 0 0 0 21 0 0 0 20 0 1 0 65119548 37494784 3281 33554432000 4194304 6142532 140724014480128 140724014476760 5079936 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9154 3281 856 476 0 2476 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36616 KiB
Current children cumulated memory: 13124 KiB

[startup+0.309126 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 23120
/proc/meminfo: memFree=16075404/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37012 memory=13652 CPUtime=0.3 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 3575 0 0 0 30 0 0 0 20 0 1 0 65119548 37900288 3413 33554432000 4194304 6142532 140724014480128 140724014476760 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9253 3413 856 476 0 2575 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37012 KiB
Current children cumulated memory: 13652 KiB

[startup+0.70023 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 23120
/proc/meminfo: memFree=16075032/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37408 memory=13916 CPUtime=0.69 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 3663 0 0 0 69 0 0 0 20 0 1 0 65119548 38305792 3479 33554432000 4194304 6142532 140724014480128 140724014477528 5061716 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9352 3479 856 476 0 2674 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13916 KiB

[startup+1.50024 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 23120
/proc/meminfo: memFree=16075032/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37408 memory=13916 CPUtime=1.49 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 3663 0 0 0 149 0 0 0 20 0 1 0 65119548 38305792 3479 33554432000 4194304 6142532 140724014480128 140724014477528 5055525 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9352 3479 856 476 0 2674 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 13916 KiB

[startup+3.10884 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 23120
/proc/meminfo: memFree=16075012/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37408 memory=14028 CPUtime=3.09 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 5662 0 0 0 309 0 0 0 20 0 1 0 65119548 38305792 3507 33554432000 4194304 6142532 140724014480128 140724014477528 5079994 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9352 3507 856 476 0 2674 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 14028 KiB

[startup+6.30022 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 23120
/proc/meminfo: memFree=16075240/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37408 memory=14028 CPUtime=6.29 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 7841 0 0 0 628 1 0 0 20 0 1 0 65119548 38305792 3507 33554432000 4194304 6142532 140724014480128 140724014477528 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9352 3507 856 476 0 2674 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 14028 KiB

[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 23120
/proc/meminfo: memFree=16075248/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37408 memory=14044 CPUtime=12.69 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 9960 0 0 0 1268 1 0 0 20 0 1 0 65119548 38305792 3511 33554432000 4194304 6142532 140724014480128 140724014477528 5079898 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9352 3511 856 476 0 2674 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 14044 KiB

[startup+25.5003 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 23120
/proc/meminfo: memFree=16074748/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37408 memory=14044 CPUtime=25.49 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 13258 0 0 0 2548 1 0 0 20 0 1 0 65119548 38305792 3511 33554432000 4194304 6142532 140724014480128 140724014477528 5055496 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9352 3511 856 476 0 2674 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 37408 KiB
Current children cumulated memory: 14044 KiB

[startup+51.1089 s]
/proc/loadavg: 1.98 2.01 2.04 3/188 23128
/proc/meminfo: memFree=16074504/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=51.09 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 14633 0 0 0 5108 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5053729 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 23129
/proc/meminfo: memFree=16075504/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=102.28 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 15696 0 0 0 10227 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5058174 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 23130
/proc/meminfo: memFree=16075780/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=162.27 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 16306 0 0 0 16226 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5079981 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 23131
/proc/meminfo: memFree=16075880/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=222.27 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 16904 0 0 0 22226 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5336789 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+282.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/188 23256
/proc/meminfo: memFree=16078328/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=282.26 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 17480 0 0 0 28225 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5058744 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 23257
/proc/meminfo: memFree=16078748/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=342.26 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 18044 0 0 0 34225 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5331319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 23258
/proc/meminfo: memFree=16078728/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=402.25 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 18635 0 0 0 40224 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5061130 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23259
/proc/meminfo: memFree=16079292/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=462.25 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 19068 0 0 0 46224 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5057941 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB


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

/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 23390
/proc/meminfo: memFree=16069716/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=1782.13 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 29543 0 0 0 178212 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5062366 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 23399
/proc/meminfo: memFree=16068576/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=1842.13 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 29918 0 0 0 184212 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5058259 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 23400
/proc/meminfo: memFree=16069784/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=1902.12 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 30298 0 0 0 190211 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5054373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 23401
/proc/meminfo: memFree=16069544/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=1962.12 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 30864 0 0 0 196211 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5057959 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 23402
/proc/meminfo: memFree=16069432/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=2022.11 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 31217 0 0 0 202210 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5336586 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 23403
/proc/meminfo: memFree=16069556/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=2082.11 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 31570 0 0 0 208210 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5175264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23404
/proc/meminfo: memFree=16069572/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=2142.1 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 31923 0 0 0 214209 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5058171 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23405
/proc/meminfo: memFree=16069528/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=2202.1 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 32297 0 0 0 220209 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5054373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23406
/proc/meminfo: memFree=16069528/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=2262.09 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 32863 0 0 0 226208 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 4991027 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23407
/proc/meminfo: memFree=16069280/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=2322.09 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 33266 0 0 0 232208 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5326516 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23408
/proc/meminfo: memFree=16069156/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=2382.08 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 33648 0 0 0 238207 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5079981 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+2442.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 23417
/proc/meminfo: memFree=16068380/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=2442.08 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 34037 0 0 0 244207 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5054704 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 23418
/proc/meminfo: memFree=16069144/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=2502.07 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 34618 0 0 0 250206 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 5058573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.02 2.02 2.05 3/188 23418
/proc/meminfo: memFree=16069392/32770624 swapFree=67108860/67108860
[pid=23119] ppid=23116 vsize=37936 memory=14616 CPUtime=2519.78 cores=0,2,4,6
/proc/23119/stat : 23119 (cosoco) R 23116 23119 22565 0 -1 4202496 34926 0 0 0 251977 1 0 0 20 0 1 0 65119548 38846464 3654 33554432000 4194304 6142532 140724014480128 140724014477528 4990607 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 36126720 140724014486662 140724014486792 140724014486792 140724014489550 0
/proc/23119/statm: 9484 3654 856 476 0 2806 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 14616 KiB

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

[startup+2520.01 s]
# the end of solver process 23119 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.78 s, system=0.014998 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.79
CPU user time (s): 2519.78
CPU system time (s): 0.014998
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 37936
Max. memory (cumulated for all children) (KiB): 14616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.78
system time used= 0.014998
maximum resident set size= 14680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34975
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= 19
involuntary context switches= 3167


# summary of solver processes directly reported to runsolver:
#   pid: 23119
#   total CPU time (s): 2519.79
#   total CPU user time (s): 2519.78
#   total CPU system time (s): 0.014998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2882 second user time and 14.4422 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 01:39:23
IDJOB=4294546
IDBENCH=141395
IDSOLVER=2752
FILE ID=node150/4294546-1532475563
RUNJOBID= node150-1532470521-22596
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-12_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294546-1532475563/watcher-4294546-1532475563 -o /tmp/evaluation-result-4294546-1532475563/solver-4294546-1532475563 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22596 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294546-1532475563.xml

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

MD5SUM BENCH= 193461ec87a084283094d7342f0c20d4
RANDOM SEED=835684289

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        16086652 kB
MemAvailable:   31936268 kB
Buffers:          235732 kB
Cached:         15698292 kB
SwapCached:            0 kB
Active:          1577740 kB
Inactive:       14413612 kB
Active(anon):      15412 kB
Inactive(anon):    61412 kB
Active(file):    1562328 kB
Inactive(file): 14352200 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2716 kB
Writeback:             0 kB
AnonPages:         72912 kB
Mapped:            40980 kB
Shmem:             17032 kB
Slab:             390664 kB
SReclaimable:     363548 kB
SUnreclaim:        27116 kB
KernelStack:        3360 kB
PageTables:         4484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53100 MiB
End job on node150 at 2018-07-25 02:21:23