Trace number 4294519

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

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06c_c18.xml
MD5SUM9b1ba7009c0c118539aa61bd7976011a
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 benchmark0.972435
Satisfiable
(Un)Satisfiability was proved
Number of variables864
Number of constraints529
Number of domains3
Minimum domain size6
Maximum domain size36
Distribution of domain sizes[{"size":6,"count":216},{"size":7,"count":216},{"size":36,"count":432}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":432},{"degree":3,"count":216},{"degree":4,"count":186},{"degree":5,"count":30}]
Minimum constraint arity2
Maximum constraint arity216
Distribution of constraint arities[{"arity":2,"count":432},{"arity":5,"count":6},{"arity":6,"count":72},{"arity":36,"count":12},{"arity":72,"count":6},{"arity":216,"count":1}]
Number of extensional constraints432
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":432},{"type":"allDifferent","count":84},{"type":"ordered","count":6},{"type":"lex","count":1},{"type":"channel","count":6}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c Create channel(X,Y) constraint using 36 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 36 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 36 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 36 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 36 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 36 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-4294519-1532470754.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.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.06	c root propagations     : 874         
0.00/0.06	c restarts enabled, print stats at every restarts
0.00/0.06	c
0.00/0.06	c
0.00/0.06	c ========================================[ Problem Statistics ]===========================================
0.00/0.06	c |                                                                                                       
0.00/0.06	c |  Parse time        :         0.06 s 
0.00/0.06	c |
0.00/0.06	c |               Variables: 864
0.00/0.06	c |            Domain Sizes: 6..36
0.00/0.06	c |
0.00/0.06	c |             Constraints: 796
0.00/0.06	c |                   Arity: 2..72  -- Binary: 456
0.00/0.06	c | 
0.00/0.06	c |                   Types: 
0.00/0.06	c |                          (X - Y < k): 24
0.00/0.06	c |                          All Different: 84
0.00/0.06	c |                          Element Constant: 216
0.00/0.06	c |                          Extension: 432  (nb tuples: 36..36) -- (shared: 0)
0.00/0.06	c |                          Lex: 40
0.00/0.06	c |                          
0.00/0.06	c =========================================================================================================
0.00/0.06	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.08	c 101            350            32546          27635          171            0              18   245   222 
0.00/0.10	c 211            878            64614          51103          202            0              1   419   67   
0.10/0.12	c 332            1458           106478         72174          202            0              12   443   203 
0.10/0.14	c 465            1774           147688         98869          204            0              1   156   80   
0.10/0.20	c 611            2342           241785         156193         205            0              1   237   194  
0.20/0.22	c 771            2887           293864         178211         205            0              6   247   213  
0.20/0.25	c 947            3177           337571         212455         205            0              7   66   61    
0.20/0.26	c 1140           3572           361927         233208         207            0              1   99   75    
0.20/0.29	c 1352           4278           425146         262874         207            0              4   84   71    
0.20/0.31	c 1585           4671           456495         300872         207            0              4   89   79    
0.30/0.37	c 1841           5866           567952         358517         207            0              3   97   84    
0.30/0.39	c 2122           6370           608326         403967         207            0              13   69   59   
0.30/0.41	c 2431           6898           645390         449752         207            0              3   68   60    
0.40/0.46	c 2770           7834           730763         520136         207            0              3   72   60    
0.50/0.57	c 3142           8979           934449         684357         208            0              1   76   64    
0.59/0.64	c 3551           10223          1065741        850212         208            0              5   73   65    
0.69/0.72	c 4000           11061          1182561        983385         208            0              8   80   68    
0.79/0.83	c 4493           11901          1357033        1166873        208            0              7   75   64    
0.89/0.98	c 5035           13615          1598491        1642119        208            0              3   64   58    
1.00/1.01	c 5631           14346          1642385        1699216        209            0              1   50   43    
1.00/1.09	c 6286           15532          1784060        1898648        209            0              3   56   46    
1.10/1.19	c 7006           17078          1933711        2130668        209            0              3   61   49    
1.29/1.31	c 7798           18542          2128280        2498072        209            0              3   65   53    
1.49/1.57	c 8669           21165          2547324        3176176        209            0              3   65   52    
1.69/1.71	c 9627           22256          2746555        3705416        209            0              3   43   42    
1.79/1.86	c 10680          24617          3020850        3903867        209            0              3   66   53    
2.00/2.04	c 11838          27742          3371415        4179020        209            0              3   74   66    
2.39/2.40	c 13111          30922          3958842        4978046        209            0              7   79   73    
2.39/2.49	c 14511          33103          4126398        5134471        209            0              7   103   97   
2.59/2.62	c 16051          36099          4356762        5495551        209            0              1   102   85   
2.69/2.71	c 17745          39318          4519905        5617791        216            0              1   106   85   
2.99/3.08	c 19608          43430          5153096        6101905        217            0              1   109   91   
3.39/3.48	c 21657          47296          5812255        6697634        218            0              1   96   80    
3.89/3.97	c 23910          54551          6732283        7300598        218            0              7   96   88    
3.99/4.10	c 26388          58901          7016102        7487072        218            0              18   93   82   
4.28/4.35	c 29113          65775          7565719        7772853        218            0              11   88   83   
4.58/4.65	c 32110          73806          8173738        8119038        218            0              3   98   89    
4.88/4.94	c 35406          79733          8760417        8523493        218            0              3   92   86    
5.58/5.60	c 39031          90316          10104320       9288574        218            0              4   108   82   
5.78/5.89	c 43018          100143         10697906       9669293        219            0              1   111   102  
6.18/6.21	c 47403          118224         11368549       9867569        219            0              7   141   133  
6.48/6.59	c 52226          130764         12239736       10260757       219            0              10   244   124 
6.88/7.00	c 57531          142960         13215334       10732459       219            0              2   139   131  
7.68/7.79	c 63366          154128         14458809       12177851       219            0              2   301   276  
9.09/9.19	c 69784          173025         16739931       14709363       219            0              2   302   292  
11.09/11.13	c 76843          192074         19653699       18437979       219            0              2   255   237  
12.38/12.47	c 84607          205186         21649507       21313275       219            0              2   244   236  
13.48/13.55	c 93147          229037         23534424       22180082       220            0              1   54   38    
14.68/14.76	c 102541         254632         25822415       24766040       220            0              3   147   139  
16.68/16.75	c 112874         276283         29517462       27379139       220            0              15   135   123 
17.48/17.52	c 124240         297888         31241084       28464074       220            0              3   122   113  
18.48/18.54	c 136742         332550         33917220       29386282       230            0              1   140   132  
20.38/20.44	c 150494         369463         37000309       31855814       230            0              3   308   302  
21.88/21.91	c 165621         411810         40272802       33938526       230            0              5   230   143  
23.18/23.20	c 182260         450121         43074029       35349629       230            0              10   404   219 
24.38/24.49	c 200562         506655         45338315       36282376       232            0              1   169   145  
28.38/28.40	c 220694         559650         53174868       40993354       232            0              1   146   133  
32.28/32.30	c 242839         625394         59265289       47716204       232            0              8   259   248  
36.09/36.13	c 267198         837235         66348740       49670783       232            0              9   171   163  
40.28/40.39	c 293992         903011         73219274       57700908       234            0              1   262   246  
44.58/44.63	c 323465         1005517        80143267       63750545       234            0              7   275   254  
48.09/48.16	c 355885         1159518        87583537       66666668       234            0              8   374   300  
50.99/51.01	c 391547         1261618        93134770       69121688       234            0              8   270   262  
53.18/53.27	c 430775         1340636        97204158       71589763       234            0              1   118   93   
58.78/58.84	c 473925         1470836        109409631      76943494       234            0              17   161   151 
63.68/63.76	c 521390         1607418        118173078      83216107       234            0              5   174   169  
73.58/73.69	c 573601         1693957        134585795      96590135       270            0              1   154   147  
78.58/78.62	c 631033         1951613        145402800      99902725       270            0              5   150   133  
82.68/82.77	c 694208         2079446        155247963      105311065      271            0              1   161   153  
91.88/91.96	c 763700         2208885        170150527      119848113      271            0              11   329   304 
99.99/100.02	c 840141         2555495        182518813      125404782      273            0              1   58   33    
113.09/113.17	c 924226         2791913        206079868      140477884      273            0              12   366   337 
128.38/128.45	c 1016719        3070006        233637735      158043419      273            0              12   413   374 
138.58/138.64	c 1118461        3318847        255270314      167749546      274            0              1   217   207  
146.48/146.55	c 1230377        3540739        272850120      179353916      274            0              13   120   108 
157.99/158.09	c 1353484        3754953        293587988      195502279      274            0              3   376   348  
172.99/173.02	c 1488901        4010014        321170580      210165405      274            0              3   237   209  
191.48/191.51	c 1637859        4418515        353287169      241545118      275            0              1   185   163  
204.28/204.38	c 1801712        4832384        380939192      254192130      275            0              1   227   215  
219.58/219.69	c 1981950        5272257        417692837      270298432      275            0              10   227   219 
233.08/233.14	c 2180211        5841086        444558715      281604498      276            0              1   329   254  
248.87/248.97	c 2398298        6315898        474537580      298249078      276            0              1   451   395  
263.37/263.42	c 2638193        6820952        503212788      312053049      277            0              1   185   177  
283.57/283.68	c 2902077        7445387        542477198      342808815      277            0              1   107   95   
302.27/302.39	c 3192349        8088511        587947967      366121447      277            0              8   134   124  
344.87/344.92	c 3511648        8648885        657134396      430634059      277            0              3   425   399  
372.67/372.76	c 3862876        9359805        707372753      458616838      278            0              1   132   114  
402.57/402.62	c 4249226        10071464       766943018      527257371      278            0              3   106   93   
445.47/445.58	c 4674211        11002046       854324974      594988508      278            0              11   110   99  
516.67/516.78	c 5141694        11972342       977326119      699622196      279            0              1   228   197  
601.37/601.44	c 5655925        14880920       1154396923     753584002      279            0              3   144   125  
649.16/649.22	c 6221579        15922098       1245919906     813730675      279            0              3   235   210  
733.86/733.98	c 6843798        17079344       1404592320     918277892      280            0              1   150   136  
790.36/790.48	c 7528238        18318160       1524335544     975442907      280            0              2   220   213  
839.26/839.39	c 8281122        19646467       1615363256     1044693592     280            0              3   114   101  
934.06/934.14	c 9109294        21286029       1807918036     1187715866     280            0              6   103   90   
1068.45/1068.51	c 10020283       23056986       2048793084     1357766156     280            0              5   110   92   
1131.07/1131.13	c 11022370       24798119       2164695402     1441529838     281            0              1   93   78    
1230.16/1230.22	c 12124665       27454465       2379212911     1568484116     281            0              5   92   82    
1308.35/1308.45	c 13337189       29981233       2544716365     1648619957     281            0              10   87   75   
1404.06/1404.16	c 14670965       32443514       2729490607     1757183604     281            0              11   79   66   
1517.25/1517.32	c 16138118       36164555       2981401431     1878604387     281            0              19   89   75   
1744.14/1744.21	c 17751986       39213760       3372382007     2095053182     282            0              1   82   70    
1905.74/1905.88	c 19527240       42741559       3681854901     2258695307     282            0              17   191   171 
2088.63/2088.74	c 21480019       47776825       4073773242     2500740264     282            0              16   83   70   
2519.93/2520.00	
2519.93/2520.00	c *** INTERRUPTED ***
2519.93/2520.00	c restarts              : 105         
2519.93/2520.00	c conflicts             : 23415451     (9292 /sec)
2519.93/2520.00	c decisions             : 51499244     (20437 /sec)
2519.93/2520.00	c propagations          : 2970266167  (1178714 /sec)
2519.93/2520.00	c root propagations     : 874         
2519.93/2520.00	c filter calls          : 4786399498     (1899424 /sec)
2519.93/2520.00	c useless filter calls  : 3865719995     (80 %)
2519.93/2520.00	c Memory used           : 32.64 MB
2519.93/2520.00	c CPU time              : 2519.92 s
2519.93/2520.00	
2519.93/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 (4853 MiB free)
  memory of node 1: 16384 MiB (10848 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294519-1532470754/watcher-4294519-1532470754 -o /tmp/evaluation-result-4294519-1532470754/solver-4294519-1532470754 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294519-1532470754.xml 

running on 4 cores: 1,3,5,7

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=22757, runsolver pid=22754
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 1.99 1.59 1.26 3/187 22758
/proc/meminfo: memFree=16073588/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33020 memory=9300 CPUtime=0.1 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 2546 0 0 0 10 0 0 0 20 0 1 0 64638666 33812480 2325 33554432000 4194304 6142532 140727331955984 140727331952632 5336753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8255 2325 856 476 0 1577 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33020 KiB
Current children cumulated memory: 9300 KiB

[startup+0.209518 s]*
/proc/loadavg: 1.99 1.59 1.26 3/187 22758
/proc/meminfo: memFree=16072844/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33152 memory=9564 CPUtime=0.2 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 2598 0 0 0 20 0 0 0 20 0 1 0 64638666 33947648 2391 33554432000 4194304 6142532 140727331955984 140727331952632 5058174 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8288 2391 856 476 0 1610 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 9564 KiB

[startup+0.308889 s]*
/proc/loadavg: 1.99 1.59 1.26 3/187 22758
/proc/meminfo: memFree=16072844/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33152 memory=9564 CPUtime=0.3 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 2598 0 0 0 30 0 0 0 20 0 1 0 64638666 33947648 2391 33554432000 4194304 6142532 140727331955984 140727331952632 5347440 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8288 2391 856 476 0 1610 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 9564 KiB

[startup+0.700274 s]
/proc/loadavg: 1.99 1.59 1.26 3/187 22758
/proc/meminfo: memFree=16072836/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33152 memory=9564 CPUtime=0.69 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 2598 0 0 0 69 0 0 0 20 0 1 0 64638666 33947648 2391 33554432000 4194304 6142532 140727331955984 140727331952632 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8288 2391 856 476 0 1610 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 9564 KiB

[startup+1.50027 s]
/proc/loadavg: 1.99 1.59 1.26 3/187 22758
/proc/meminfo: memFree=16072836/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33152 memory=9564 CPUtime=1.49 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 2598 0 0 0 149 0 0 0 20 0 1 0 64638666 33947648 2391 33554432000 4194304 6142532 140727331955984 140727331953384 5061137 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8288 2391 856 476 0 1610 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 9564 KiB

[startup+3.1089 s]
/proc/loadavg: 1.91 1.58 1.26 3/187 22758
/proc/meminfo: memFree=16072596/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33152 memory=9768 CPUtime=3.09 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 3939 0 0 0 309 0 0 0 20 0 1 0 64638666 33947648 2442 33554432000 4194304 6142532 140727331955984 140727331953384 5061963 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8288 2442 856 476 0 1610 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 9768 KiB

[startup+6.30026 s]
/proc/loadavg: 1.91 1.58 1.26 3/187 22758
/proc/meminfo: memFree=16072756/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33152 memory=9768 CPUtime=6.28 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 5281 0 0 0 628 0 0 0 20 0 1 0 64638666 33947648 2442 33554432000 4194304 6142532 140727331955984 140727331953384 5058231 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8288 2442 856 476 0 1610 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 9768 KiB

[startup+12.7003 s]
/proc/loadavg: 1.92 1.58 1.27 3/187 22758
/proc/meminfo: memFree=16072756/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33152 memory=9768 CPUtime=12.68 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 6642 0 0 0 1268 0 0 0 20 0 1 0 64638666 33947648 2442 33554432000 4194304 6142532 140727331955984 140727331953384 5057941 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8288 2442 856 476 0 1610 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 9768 KiB

[startup+25.5003 s]
/proc/loadavg: 1.94 1.60 1.28 3/187 22758
/proc/meminfo: memFree=16072152/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33152 memory=9776 CPUtime=25.48 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 8478 0 0 0 2548 0 0 0 20 0 1 0 64638666 33947648 2444 33554432000 4194304 6142532 140727331955984 140727331953384 5175063 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8288 2444 856 476 0 1610 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 9776 KiB

[startup+51.1089 s]
/proc/loadavg: 1.96 1.64 1.30 3/188 22766
/proc/meminfo: memFree=16070532/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33152 memory=9776 CPUtime=51.09 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 8971 0 0 0 5109 0 0 0 20 0 1 0 64638666 33947648 2444 33554432000 4194304 6142532 140727331955984 140727331953384 5061970 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8288 2444 856 476 0 1610 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 9776 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 1.69 1.33 3/188 22767
/proc/meminfo: memFree=16071432/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33152 memory=9816 CPUtime=102.28 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 9463 0 0 0 10228 0 0 0 20 0 1 0 64638666 33947648 2454 33554432000 4194304 6142532 140727331955984 140727331953384 5318987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8288 2454 856 476 0 1610 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 9816 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.75 1.38 3/188 22768
/proc/meminfo: memFree=16071260/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33284 memory=9844 CPUtime=162.28 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 9968 0 0 0 16228 0 0 0 20 0 1 0 64638666 34082816 2461 33554432000 4194304 6142532 140727331955984 140727331953384 5058760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8321 2461 856 476 0 1643 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 33284 KiB
Current children cumulated memory: 9844 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.79 1.42 3/188 22769
/proc/meminfo: memFree=16071088/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33284 memory=9844 CPUtime=222.28 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 10466 0 0 0 22228 0 0 0 20 0 1 0 64638666 34082816 2461 33554432000 4194304 6142532 140727331955984 140727331953384 5061712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8321 2461 856 476 0 1643 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 33284 KiB
Current children cumulated memory: 9844 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.83 1.45 3/188 22770
/proc/meminfo: memFree=16071084/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=282.27 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 11028 0 0 0 28227 0 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.86 1.49 3/188 22771
/proc/meminfo: memFree=16071184/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=342.27 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 11557 0 0 0 34227 0 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5060757 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.89 1.52 3/187 22773
/proc/meminfo: memFree=16071436/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=402.27 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 12078 0 0 0 40227 0 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5058664 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.91 1.55 3/187 22774
/proc/meminfo: memFree=16071172/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=462.27 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 12600 0 0 0 46227 0 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5336817 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB


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

/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/187 22814
/proc/meminfo: memFree=16069016/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=1782.24 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 22790 0 0 0 178223 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5073765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/187 22815
/proc/meminfo: memFree=16068652/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=1842.24 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 23206 0 0 0 184223 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5175273 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/188 22824
/proc/meminfo: memFree=16069012/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=1902.24 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 23620 0 0 0 190223 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/188 22825
/proc/meminfo: memFree=16069136/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=1962.23 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 23990 0 0 0 196222 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5062398 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/188 22826
/proc/meminfo: memFree=16068888/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=2022.23 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 24250 0 0 0 202222 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5058566 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/188 22827
/proc/meminfo: memFree=16069012/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=2082.23 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 24508 0 0 0 208222 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5060972 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+2142.3 s]
/proc/loadavg: 2.48 2.12 1.97 3/187 22828
/proc/meminfo: memFree=16070380/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=2142.23 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 25136 0 0 0 214222 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5336753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+2202.3 s]
/proc/loadavg: 2.18 2.10 1.97 3/187 22831
/proc/meminfo: memFree=16069264/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=2202.23 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 25497 0 0 0 220222 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5057941 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+2262.3 s]
/proc/loadavg: 2.17 2.11 1.98 3/187 22832
/proc/meminfo: memFree=16069024/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=2262.23 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 25881 0 0 0 226222 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5054704 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+2322.3 s]
/proc/loadavg: 2.15 2.12 1.99 3/187 22894
/proc/meminfo: memFree=16073364/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=2322.22 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 26270 0 0 0 232221 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5061899 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+2382.3 s]
/proc/loadavg: 2.11 2.12 1.99 3/187 22896
/proc/meminfo: memFree=16074796/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=2382.22 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 26658 0 0 0 238221 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 4991027 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+2442.3 s]
/proc/loadavg: 2.07 2.11 2.00 3/187 22897
/proc/meminfo: memFree=16075060/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=2442.22 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 27043 0 0 0 244221 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5055472 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

[startup+2502.3 s]
/proc/loadavg: 2.03 2.09 2.00 3/188 22906
/proc/meminfo: memFree=16074700/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=2502.22 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 27428 0 0 0 250221 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5054357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.02 2.08 2.00 3/189 22932
/proc/meminfo: memFree=16073560/32770624 swapFree=67108860/67108860
[pid=22757] ppid=22754 vsize=33416 memory=9968 CPUtime=2519.93 cores=1,3,5,7
/proc/22757/stat : 22757 (cosoco) R 22754 22757 22565 0 -1 4202496 27751 0 0 0 251992 1 0 0 20 0 1 0 64638666 34217984 2492 33554432000 4194304 6142532 140727331955984 140727331953384 5061885 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 17440768 140727331959942 140727331960072 140727331960072 140727331962830 0
/proc/22757/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB

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

[startup+2520.01 s]
# the end of solver process 22757 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.92 s, system=0.014999 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.94
CPU user time (s): 2519.92
CPU system time (s): 0.014999
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 33416
Max. memory (cumulated for all children) (KiB): 9968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.92
system time used= 0.014999
maximum resident set size= 10032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27801
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= 17
involuntary context switches= 659


# summary of solver processes directly reported to runsolver:
#   pid: 22757
#   total CPU time (s): 2519.94
#   total CPU user time (s): 2519.92
#   total CPU system time (s): 0.014999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.58455 second user time and 15.979 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 00:19:14
IDJOB=4294519
IDBENCH=141392
IDSOLVER=2752
FILE ID=node150/4294519-1532470754
RUNJOBID= node150-1532470521-22597
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

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

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

MD5SUM BENCH= 9b1ba7009c0c118539aa61bd7976011a
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:        16079308 kB
MemAvailable:   31926748 kB
Buffers:          235228 kB
Cached:         15697188 kB
SwapCached:            0 kB
Active:          1586812 kB
Inactive:       14413224 kB
Active(anon):      26288 kB
Inactive(anon):    61412 kB
Active(file):    1560524 kB
Inactive(file): 14351812 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2772 kB
Writeback:             0 kB
AnonPages:         75756 kB
Mapped:            40768 kB
Shmem:             17032 kB
Slab:             390472 kB
SReclaimable:     363564 kB
SUnreclaim:        26908 kB
KernelStack:        3280 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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 01:01:14